Peano axioms

Similarly, multiplication is a function mapping two natural numbers to another one. Given addition, it is defined recursively as:

The usual total order relation ≤ on natural numbers can be defined as follows, assuming 0 is a natural number:

The axiom of induction is sometimes stated in the following form that uses a stronger hypothesis, making use of the order relation "≤":