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