Similar to 演繹定理

Cut-elimination theorem

Cantor's theorem

Goodstein's theorem

Kleene's recursion theorem

Craig interpolation

Gödel's speed-up theorem

König's theorem (set theory)

Church–Rosser theorem

Paris–Harrington theorem

Schröder–Bernstein theorem

Post's theorem

Rice's theorem

Lusin's separation theorem

Mathematics

0.999...

Zero-dimensional space

Zero to the power of zero

One-dimensional space

1 + 1 + 1 + 1 + ⋯

1 + 2 + 3 + 4 + ⋯

1 + 2 + 4 + 8 + ⋯

Root of unity

Ones' complement

1 − 1 + 2 − 6 + 24 − 120 + ⋯

1 − 2 + 3 − 4 + ⋯

1 − 2 + 4 − 8 + ⋯

1/2 + 1/4 + 1/8 + 1/16 + ⋯