Category:数学基礎論の定理

Cantor's theorem

Craig interpolation

Gödel's completeness theorem

Rice's theorem

Compactness theorem

Post's theorem

Löb's theorem

Frege's theorem

Compression theorem

Kőnig's theorem (set theory)

Lusin's separation theorem

Schröder–Bernstein theorem

Gödel's speed-up theorem

Cut-elimination theorem

Church–Rosser theorem

Tarski's undefinability theorem

Paris–Harrington theorem

Deduction theorem

Kleene's recursion theorem

Löwenheim–Skolem theorem

Herbrand's theorem

Goodstein's theorem

Gödel's incompleteness theorems