Similar to コンパクト性定理
レーヴェンハイム–スコーレムの定理
Löwenheim–Skolem theorem
圧縮定理
Compression theorem
エルブランの定理
Herbrand's theorem
演繹定理
Deduction theorem
ゲーデルの完全性定理
Gödel's completeness theorem
ゲーデルの不完全性定理
Gödel's incompleteness theorems
タルスキの定義不可能性定理
Tarski's undefinability theorem
フレーゲの定理
Frege's theorem
レーブの定理
Löb's theorem
モデル理論
Model theory
ZFCから独立な命題の一覧
List of statements independent of ZFC
Ω無矛盾
Ω-consistent theory
アックス–グロタンディークの定理
Ax–Grothendieck theorem
0
0
1
1
2
2
3
3▲1 trends
4
4
5
5
6
6
7
7
8
8
9
9
12345679
カット除去定理
Cut-elimination theorem
カントールの定理
Cantor's theorem
グッドスタインの定理
Goodstein's theoremクリーネの再帰定理
Kleene's recursion theorem