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