Similar to マーティンの公理

Algorithm

Axiom schema of replacement

DPLL algorithm

Smn theorem

Herbrand's theorem

Goodstein's theorem

Knuth–Bendix completion algorithm

Gödel's completeness theorem

Gödel's incompleteness theorems

Tarski's undefinability theorem

Turing degree

Turing jump

General recursive function

Annales de Gergonne

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