(1) 0 is a number. (2) The successor of any number is a number. (3) No two numbers have the same successor. (4) 0 is not the successor of any number. (5) Any property which belongs to 0, and also to the successor of every number which has the property, belongs to all numbers.