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