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