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