Category:数学基礎論の定理

Cut-elimination theorem

Herbrand's theorem

Rice's theorem

Löwenheim–Skolem theorem

Craig interpolation

Goodstein's theorem

Paris–Harrington theorem

Compression theorem

Kőnig's theorem (set theory)

Frege's theorem

Lusin's separation theorem

Gödel's speed-up theorem

Gödel's completeness theorem

Schröder–Bernstein theorem

Church–Rosser theorem

Kleene's recursion theorem

Post's theorem

Compactness theorem

Deduction theorem

Tarski's undefinability theorem

Löb's theorem

Gödel's incompleteness theorems

Cantor's theorem