Noun
Peano axiom (plural Peano axioms) (mathematics) Any of a set of fundamental axioms describing the natural numbers and their relationships.