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