Similar to コンパクト性定理
クレイグの補間定理
Craig interpolation
ゲーデルの加速定理
Gödel's speed-up theorem
ケーニヒの定理 (集合論)
Kőnig's theorem (set theory)
チャーチ・ロッサーの定理
Church–Rosser theorem
パリス＝ハーリントンの定理
Paris–Harrington theorem
ベルンシュタインの定理
Schröder–Bernstein theorem
ポストの定理
Post's theorem
ライスの定理
Rice's theorem
ルジンの分離定理
Lusin's separation theorem
数学基礎論
Foundations of mathematics
計算理論
Theory of computation
宇宙 (数学)
Universe (mathematics)
カントールの往復論法
Back-and-forth method
幾何学基礎論
Foundations of geometry
形式主義 (数学)
Formalism (philosophy of mathematics)
公理
Axiom
自己言及のパラドックス
Liar paradox集合論
Set theory
充足可能性問題
Boolean satisfiability problem推論規則
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