Similar to フレーゲの定理

Herbrand's theorem

Gödel's completeness theorem

Gödel's incompleteness theorems

Tarski's undefinability theorem

Annales de Gergonne

Compression theorem

Deduction theorem

Cantor's theorem

Goodstein's theorem

Kleene's recursion theorem

Kőnig's theorem (set theory)

Compactness theorem

Löwenheim–Skolem theorem

Löb's theorem

P-adic Teichmüller theory

RSA cryptosystem

Vieta jumping

Witch of Agnesi

Abelian group

Category of abelian groups

Abelian category

Abelian variety

Abel's theorem

Abel equation

Abel–Jacobi map

Abel–Ruffini theorem

Eisenstein series