Diferencia entre revisiones de «Axiomas de Peano»

Contenido eliminado Contenido añadido
m Revertidos los cambios de 187.207.34.161 (disc.) (HG) (3.1.20)
Línea 10:
# El 1 no es el sucesor de algún número natural.
# Si hay dos números naturales ''n'' y ''m'' con el mismo sucesor, entonces ''n'' y ''m'' son el mismo número natural.
# Si el 1 pertenece a un conjunto ''K'' de números naturales, y dado un elemento cualquiera ''k'', el sucesor ''k''* también pertenece al conjunto ''K'', entonces todos los números naturales pertenecen a ese conjunto ''K''. Este último axioma es el principio de [[inducción matemática]].
 
Hay un debate sobre si considerar al 0 como número natural o no. Generalmente se decide en cada caso, dependiendo de si se necesita o no. Cuando se resuelve incluir al 0, entonces deben hacerse algunos ajustes menores: