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