Any property belonging to 0 and to the immediate successor of any number that also has that property belongs to all numbers.
All systems which satisfy the five primitive propositions are in one-to-one correspondence with the natural numbers.
Certainly it is permitted to anyone to put forward whatever hypotheses he wishes, and to develop the logical consequences contained in those hypotheses.