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

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

Anderson–Darling test

Anne's theorem

Egan conjecture

Iitaka dimension