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