Category:数学基礎論の定理

Goodstein's theorem

Post's theorem

Löb's theorem

Kleene's recursion theorem

Compression theorem

Deduction theorem

Kőnig's theorem (set theory)

Lusin's separation theorem

Löwenheim–Skolem theorem

Gödel's speed-up theorem

Frege's theorem

Tarski's undefinability theorem

Church–Rosser theorem

Gödel's completeness theorem

Compactness theorem

Paris–Harrington theorem

Herbrand's theorem

Cantor's theorem

Rice's theorem

Craig interpolation

Cut-elimination theorem

Schröder–Bernstein theorem

Gödel's incompleteness theorems