Peano axioms/Definition

A series of axioms describing the natural numbers.