Los Axiomas de Peano o postulados de Peano son un conjunto de axiomas

para los números naturales introducidos por Giuseppe Peano en el siglo XIX.

Contenido
[ocultar]

 1 Descripción
 2 Los cinco axiomas de Peano
 3 Operaciones de números naturales
 4 Bibliografía
 5 Obras consultadas
 6 Enlaces externos

Descripción
Los axiomas se han utilizado prácticamente sin cambios para una variedad de
investigaciones metamatemáticas, incluyendo cuestiones acerca de la
consistencia y completitud en la Teoría de números.
Los axiomas de Peano no se ocupan del significado de "número natural", sino que
lo suponen y pretenden encontrar un sistema simple de axiomas que caractericen
los números naturales y nos permitan deducir a partir de estos, todas las
propiedades de los números naturales, utilizando las reglas de la lógica.

Los cinco axiomas de Peano

1. El 1 es un número natural.
2. Si n es un número natural, entonces el sucesor de n también es un número
natural.
3. El 1 no es el sucesor de ningún número natural.
4. Si hay dos números naturales n y m con el mismo sucesor, entonces n y m
son el mismo número natural.
5. Si el 1 pertenece a un conjunto, y dado un número natural cualquiera, el
sucesor de ese número también pertenece a ese conjunto, entonces todos
los números naturales pertenecen a ese conjunto. Este es el axioma de
inducción, y captura la idea 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 lo necesita o no. Cuando se
resuelve incluir al 0, entonces deben hacerse algunos ajustes menores:

1. El 0 es un número natural.
2. Si n es un número natural, entonces el sucesor de n también es un número
natural.
3. El 0 no es el sucesor de ningún número natural.
 4. Si hay dos números naturales n y m con el mismo sucesor, entonces n y m
son el mismo número natural.
5. Si el 0 pertenece a un conjunto, y dado un número natural cualquiera, el
sucesor de ese número también pertenece a ese conjunto, entonces todos
los números naturales pertenecen a ese conjunto. Este es el axioma de
inducción, y captura la idea de inducción matemática.

Operaciones de números naturales

Primeramente, definimos la adición de los números naturales por las fórmulas

1. m+1 = S(m) donde m es un número natural y S denota la función sucesor

de N en N-{0}.
2. p + S(m) = S (p +m).

En seguida, definimos la multiplicación de los números naturales por las siguientes

condiciones

1. m x 1 = m.
2. p x S(m)= p x m +p. [1]