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