Peano axiom

Etymology
Named after, who introduced them.

Noun

 * 1)  Any of a set of fundamental axioms describing the natural numbers and their relationships.