Similar to カントールの定理

Axiom of union

Crocodile dilemma

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

List of things named after Alexander Grothendieck

Alexandrov theorem

Anscombe's quartet