These 5 axioms define the set of natural numbers:
- Zero is a natural number.
- Every natural number n has a successor S(n), and the successor of any natural number is a natural number.
- No two numbers have the same successor.
- Zero is not the successor of any natural number.
- For any property P, if zero has P and also the successor of any number that has P has P, then every number has P.