Category:数学基礎論の定理

Schröder–Bernstein theorem

Kleene's recursion theorem

Compactness theorem

Gödel's completeness theorem

Tarski's undefinability theorem

Paris–Harrington theorem

Craig interpolation

Post's theorem

Herbrand's theorem

Compression theorem

Kőnig's theorem (set theory)

Lusin's separation theorem

Gödel's speed-up theorem

Löwenheim–Skolem theorem

Church–Rosser theorem

Löb's theorem

Deduction theorem

Rice's theorem

Frege's theorem

Cantor's theorem

Cut-elimination theorem

Goodstein's theorem

Gödel's incompleteness theorems