Peano axioms

The Peano axioms, formulated by the Italian mathematician Giuseppe Peano in the late 19th century, are a set of axioms for the natural numbers. They are used to define the properties of natural numbers in a rigorous mathematical framework. The axioms provide a foundation for number theory and mathematics as a whole.