Category:数学基礎論
自己言及のパラドックス
Liar paradox公理
Axiom数学基礎論
Foundations of mathematics数理論理学
Mathematical logicハウスドルフのパラドックス
Hausdorff paradox集合論
Set theoryカントールの往復論法
Back-and-forth methodΩ無矛盾
Ω-consistent theoryツェルメロ=フレンケル集合論
Zermelo–Fraenkel set theoryコンパクト性定理
Compactness theorem計算理論
Theory of computation宇宙 (数学)
Universe (mathematics)形式主義 (数学)
Formalism (philosophy of mathematics)直観主義 (数学の哲学)
Intuitionism代替集合論
List of alternative set theoriesZFCから独立な命題の一覧
List of statements independent of ZFC推論規則
Rule of inference素朴集合論
Naive set theory非有基的集合論
Non-well-founded set theoryブラリ=フォルティのパラドックス
Burali-Forti paradox幾何学基礎論
Foundations of geometryフォン・ノイマン=ベルナイス=ゲーデル集合論
Von Neumann–Bernays–Gödel set theory直観主義型理論
Intuitionistic type theoryモデル理論
Model theory無矛盾
Consistency全称記号
Universal quantification充足可能性問題
Boolean satisfiability problem超実数
Hyperreal number