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