Professional Documents
Culture Documents
0 pertenece a N
Si x pertenece a N entonces Sig(x) pertenece a N y es nico.
Si x e y pertenecen a N y Sig(x)=Sig(y) entonces x = y
0 no es siguiente de ningn nmero.
Si Q es un subconjunto de N que verifica:
i. 0 pertenece a Q.
ii. Si x pertenece a Q entonces Sig(x) pertenece a Q.
Entonces Q = N.