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