Definition
Peano Axioms
The Peano axioms are axioms for the natural numbers:
- 0 (zero) is a natural number.
- Every natural number has exactly one successor.
- 0 is not the successor of any natural number.
- Different natural numbers have different successors.
- Any property that applies to 0 and transfers from each natural number to its successor applies to all natural numbers.