Similar to レーブの定理

Finitary

Finite model theory

Lambda calculus

Conjunctive normal form

Rosser's trick

Logical formula

Logic programming

Cantor's theorem

Kleene's recursion theorem

Gödel's speed-up theorem

Kőnig's theorem (set theory)

Church–Rosser 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 + ⋯