公理系 無矛盾 不完全性定理 公理 連続体仮説 一般連続体仮説 ZFC Axioma 選択公理 ツェルメロ Gödel 推論規則 命題論理 Axiom Logika ゲーデル ZF 公理的集合論 modale Modallogik Modallogikk Halevi Fraenkel Zermelo 證明 整式 proposicional Aksioma Aksiom Axióma Axiome ゴールドバッハ予想 Burali クリプキ kontinuuma Kontinuumhypotesen Kontinua ポルフィリオス logiko ビールジョッキ 平行線 ブラリ ウディン Peano ペアノの公理 propositional Mengenlehre skupova フォルティ Axiomas