Respuestas

2012-07-11T05:33:56+02:00

 admitimos el cero como número natural, podemos definir:

 | info=para todo 

Si no se acepta el cero como número natural, y se parte, en cambio, del 1, se define entonces

 | info=para todo 

Luego el cero puede definirse como:

 | info=para todo 

El escoger  y  (o  y  para cuando no se acepta ), para las definiciones anteriores es una decisión completamente arbitraria que toma en cuenta la sencillez de estos pares ordenados. Nótese que, de cualquier forma,

 | info=para todo 

Se define pues el conjunto de los números enteros como el conjunto:

(2)

de todas las clases de equivalencia producidas por la relación  sobre el producto cartesiano . Esto es,  es el conjunto cociente:

(3).