Peano axioms

The Peano axioms are a set of formal axioms describing the natural numbers (0, 1, 2, 3 ...). Together, they describe some of the most important properties of the natural numbers: their infinitude, zero as the smallest natural number and the rule of induction.