Category:数学基礎論の定理

カントールの定理
Cantor's theorem
ゲーデルの不完全性定理
Gödel's incompleteness theorems
ポストの定理
Post's theorem
カット除去定理
Cut-elimination theoremクレイグの補間定理
Craig interpolation
ゲーデルの完全性定理
Gödel's completeness theorem
フレーゲの定理
Frege's theorem
圧縮定理
Compression theorem
ケーニヒの定理 (集合論)
Kőnig's theorem (set theory)
ベルンシュタインの定理
Schröder–Bernstein theorem
ライスの定理
Rice's theorem
ルジンの分離定理
Lusin's separation theoremクリーネの再帰定理
Kleene's recursion theorem
ゲーデルの加速定理
Gödel's speed-up theorem
演繹定理
Deduction theorem
チャーチ・ロッサーの定理
Church–Rosser theorem
レーブの定理
Löb's theoremコンパクト性定理
Compactness theorem
エルブランの定理
Herbrand's theorem
パリス=ハーリントンの定理
Paris–Harrington theoremレーヴェンハイム–スコーレムの定理
Löwenheim–Skolem theorem
タルスキの定義不可能性定理
Tarski's undefinability theorem
グッドスタインの定理
Goodstein's theorem