Category:数学基礎論の定理

Gödel's incompleteness theorems

Schröder–Bernstein theorem

Cantor's theorem

Deduction theorem

Cut-elimination theorem

Gödel's completeness theorem

Post's theorem

Rice's theorem

Goodstein's theorem

Löwenheim–Skolem theorem

Tarski's undefinability theorem

Craig interpolation

Paris–Harrington theorem

Compression theorem

Kőnig's theorem (set theory)

Lusin's separation theorem

Gödel's speed-up theorem

Kleene's recursion theorem

Frege's theorem

Löb's theorem

Church–Rosser theorem

Herbrand's theorem

Compactness theorem