1. 0 is a number.
2. The immediate successor of a number is also a number.
3. 0 is not the immediate successor of any number.
4. No two numbers have the same immediate successor.
5. Any property belonging to 0 and to the immediate successor of any number that also has that property belongs to all numbers.