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