Similar to カット除去定理
クレイグの補間定理
Craig interpolation
証明論
Proof theory
誤った数学的推論
Mathematical fallacy
緩成長階層
Slow-growing hierarchy
逆数学
Reverse mathematics
ゲーデルの加速定理
Gödel's speed-up theorem
初等関数算術
Elementary function arithmetic
独立性 (数理論理学)
Independence (mathematical logic)
保存拡大
Conservative extension
アッカーマン関数
Ackermann function
アリティ
Arity
型理論
Type theory
議論領域
Domain of discourse
後者関数
Successor function
恒真式
Tautology (logic)
チャーチ・ロッサーの定理
Church–Rosser theorem
ハイティング代数
Heyting algebraハルモス代数
Polyadic algebra
プリンキピア・マテマティカ
Principia Mathematica
メレオロジー
Mereology
有限モデル理論
Finite model theory
ルジンの分離定理
Lusin's separation theorem
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
アルゴリズム
Algorithm
エルブランの定理
Herbrand's theorem
グッドスタインの定理
Goodstein's theoremゲーデルの完全性定理
Gödel's completeness theorem