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