Category:数学基礎論の定理

Gödel's incompleteness theorems

Gödel's completeness theorem

Cantor's theorem

Cut-elimination theorem

Compactness theorem

Löwenheim–Skolem theorem

Paris–Harrington theorem

Kleene's recursion theorem

Deduction theorem

Post's theorem

Craig interpolation

Frege's theorem

Goodstein's theorem

Compression theorem

Kőnig's theorem (set theory)

Lusin's separation theorem

Gödel's speed-up theorem

Church–Rosser theorem

Rice's theorem

Schröder–Bernstein theorem

Herbrand's theorem

Tarski's undefinability theorem

Löb's theorem