- There exists a natural number zero (0).
- For each , there exists a natural number that is the successor of , denoted by .
- 0 is not the successor of any natural number. (For each )
- For all natural numbers , if , then .
- Given any predicate on the natural numbers, if is true and implies for any , then is true for all . (This is also known as the principle of mathematical induction.)
A variation of these axioms substitute the natural number one (1) in place of zero in axioms 1, 3 and 5 above. It is possible, therefore, to regard the natural numbers as excluding zero while the whole numbers include zero. Usage varies on this point, however.
The Peano axioms set up the natural numbers by introducing a particular element (zero) with the first axiom, and then describing a particular function on the natural numbers. This function, namely the successor function, sets up a chain that begins at zero (axiom 3), and continues indefinitely (axiom 2). Axiom 5 ensures that the chain will eventually cover every natural number, and axiom 4 ensures that every link in the chain is preceded by at most one other link.
Intuitively, there are more properties of the natural numbers than are listed in the axioms. However, these properties can be proven from the axioms. Here are some such properties:
- No natural number is its own successor
- Every natural number except for zero is a successor to some other natural number