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