Similar to コンパクト性定理
幾何学基礎論
Foundations of geometry
形式主義 (数学)
Formalism (philosophy of mathematics)
公理
Axiom
自己言及のパラドックス
Liar paradox▲1 trends
集合論
Set theory
充足可能性問題
Boolean satisfiability problem▲1 trends推論規則
Rule of inference直観主義 (数学の哲学)
Intuitionism
数理論理学
Mathematical logic
全称記号
Universal quantification素朴集合論
Naive set theory代替集合論
List of alternative set theories超実数
Hyperreal number
直観主義型理論
Intuitionistic type theory
ツェルメロ＝フレンケル集合論
Zermelo–Fraenkel set theory
ハウスドルフのパラドックス
Hausdorff paradox
パラドックス
Paradox▲2 trends非有基的集合論
Non-well-founded set theory
フォン・ノイマン＝ベルナイス＝ゲーデル集合論
Von Neumann–Bernays–Gödel set theory
ブラリ＝フォルティのパラドックス
Burali-Forti paradox無矛盾
Consistency
カット除去定理
Cut-elimination theorem
カントールの定理
Cantor's theorem
グッドスタインの定理
Goodstein's theoremクリーネの再帰定理
Kleene's recursion theoremクレイグの補間定理
Craig interpolation
ゲーデルの加速定理
Gödel's speed-up theoremケーニヒの定理 (集合論)
Kőnig's theorem (set theory)
