Category:数学基礎論の定理

Gödel's incompleteness theorems

Deduction theorem

Cantor's theorem

Cut-elimination theorem

Rice's theorem

Craig interpolation

Herbrand's theorem

Compression theorem

Gödel's speed-up theorem

König's theorem (set theory)

Lusin's separation theorem

Post's theorem

Kleene's recursion theorem

Paris–Harrington theorem

Frege's theorem

Compactness theorem

Löb's theorem

Church–Rosser theorem

Schröder–Bernstein theorem

Löwenheim–Skolem theorem

Tarski's undefinability theorem

Goodstein's theorem

Gödel's completeness theorem