Similar to カット除去定理

Frege's theorem

Schröder–Bernstein theorem

Post's theorem

Rice's theorem

Löwenheim–Skolem theorem

Mathematics

0.999...

Zero-dimensional space

Zero to the power of zero

One-dimensional space

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 + ⋯

Two-dimensional space

Square root of 2

Power of two

Two's complement

Bipartite graph

Three-dimensional space

Three-valued logic

Square root of 3