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