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