Similar to ケーニヒの定理_(集合論)

Rhind Mathematical Papyrus

Lehmer code

Column generation

Hexecontahedron

Deduction theorem

Cut-elimination theorem

Craig interpolation

Gödel's speed-up theorem

Compactness theorem

Church–Rosser theorem

Paris–Harrington theorem

Frege's theorem

Post's theorem

Rice's theorem

Lusin's separation theorem

Löwenheim–Skolem theorem

Löb's theorem

Einstein's constant

Artin reciprocity

Artin–Rees lemma

Albanese variety

Alexander polynomial

Alexandrov theorem

Anscombe's quartet