o axioma de peano, uma explicação

Não 4:

A.      Existe uma função s : N - >N, que associa a cada n em N um elemento s(n) em N, chamado o sucessor de n.

B.      A função s : N  - > N é injetiva.

C.      Existe um único elemento 1 no conjunto N, tal que 1 diferente de  s(n) para todo n em N.

D.      Se um subconjunto X em N é tal que 1 em N e s(X) em  X