Similar to クレイグの補間定理
カット除去定理
Cut-elimination theoremアッカーマン関数
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 theoremDPLLアルゴリズム
DPLL algorithmSmn定理
Smn theoremアルゴリズム
Algorithm▲1 trendsエルブランの定理
Herbrand's theoremグッドスタインの定理
Goodstein's theoremゲーデルの完全性定理
Gödel's completeness theoremゲーデルの不完全性定理
Gödel's incompleteness theorems▲1 trendsタルスキの定義不可能性定理
Tarski's undefinability theoremパリス=ハーリントンの定理
Paris–Harrington theoremΜ再帰関数
General recursive functionレーブの定理
Löb's theorem圧縮定理
Compression theorem1+1+1+1+…
1 + 1 + 1 + 1 + ⋯