Category:数学基礎論の定理

Gödel's incompleteness theorems

Schröder–Bernstein theorem

Cantor's theorem

Deduction theorem

Cut-elimination theorem

Craig interpolation

Kleene's recursion theorem

Paris–Harrington theorem

Gödel's completeness theorem

Church–Rosser theorem

Compression theorem

Kőnig's theorem (set theory)

Lusin's separation theorem

Gödel's speed-up theorem

Rice's theorem

Compactness theorem

Frege's theorem

Goodstein's theorem

Herbrand's theorem

Löwenheim–Skolem theorem

Löb's theorem

Post's theorem

Tarski's undefinability theorem