Category:数学基礎論の定理

Cantor's theorem

Gödel's incompleteness theorems

Post's theorem

Cut-elimination theorem

Craig interpolation

Gödel's completeness theorem

Frege's theorem

Compression theorem

Kőnig's theorem (set theory)

Schröder–Bernstein theorem

Rice's theorem

Lusin's separation theorem

Kleene's recursion theorem

Gödel's speed-up theorem

Deduction theorem

Church–Rosser theorem

Löb's theorem

Compactness theorem

Herbrand's theorem

Paris–Harrington theorem

Löwenheim–Skolem theorem

Tarski's undefinability theorem

Goodstein's theorem