Existe algún elementos de los números naturales: uno es un elemento de

los números naturales

Existe algún elemento siguiente de N en N de tal

manera que si x es un elemento de los números
naturales su siguiente también es un numero
natural

Para todo x que pertenece a los números naturales , x

no puede ser el siguiente de 1

X y Y son elementos que pertenecen a los números

naturales , el siguiente de x es igual al siguiente de y por
lo tanto X y Y son iguales

∀ : Se lee para todo

∃ : se lee existe algún elemento
E : Elemento que pertenece
O = al siguiente
C = conjunto