Similar to レーブの定理
エルブランの定理
Herbrand's theoremゲーデルの完全性定理
Gödel's completeness theoremゲーデルの不完全性定理
Gödel's incompleteness theoremsタルスキの定義不可能性定理
Tarski's undefinability theoremDPLLアルゴリズム
DPLL algorithmSmn定理
Smn theoremアルゴリズム
Algorithmカット除去定理
Cut-elimination theoremグッドスタインの定理
Goodstein's theoremクレイグの補間定理
Craig interpolation公理図式
Axiom schema置換公理
Axiom schema of replacementパリス=ハーリントンの定理
Paris–Harrington theoremΜ再帰関数
General recursive function圧縮定理
Compression theorem演繹定理
Deduction theoremコンパクト性定理
Compactness theoremフレーゲの定理
Frege's theoremレーヴェンハイム–スコーレムの定理
Löwenheim–Skolem theorem0
0▼-1 trends1
12
23
34
45
56
67
78
8▼-1 trends