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