1. Zero is a number.
2. The successor of any number is another number.
3. There are no two numbers with the same successor.
4. Zero is not the successor of a number.
5. Every property of zero, which belongs to the successor of every number with this property, belongs to all numbers.