Peano axioms
Many properties of the natural numbers can be derived from the five Peano axioms: