Category:数学基礎論の定理

Cut-elimination theorem

Frege's theorem

Löb's theorem

Paris–Harrington theorem

Church–Rosser theorem

Post's theorem

Compression theorem

Kőnig's theorem (set theory)

Lusin's separation theorem

Gödel's speed-up theorem

Craig interpolation

Cantor's theorem

Compactness theorem

Tarski's undefinability theorem

Rice's theorem

Kleene's recursion theorem

Goodstein's theorem

Gödel's completeness theorem

Herbrand's theorem

Deduction theorem

Löwenheim–Skolem theorem

Schröder–Bernstein theorem

Gödel's incompleteness theorems