are two different members of the set,
and
are different; this results from the fact that (by hypothesis) there are no repetitions in the set.
(4) "0 is not the successor of any number," i.e. no term in the set comes before
.
(5) This becomes: Any property which belongs to