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