|

|

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