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