is a member of the set.

(2) "The successor of any number is a number," i.e. taking any term

in the set,

is also in the set.

(3) "No two numbers have the same successor," i.e. if

and