La Enciclopedia Libre Universal en Español dispone de una lista de distribución pública, enciclo@listas.us.es
Axiomas de Peano
Artículo de la Enciclopedia Libre Universal en Español.
Revisión a fecha de 20:28 19 en. 2008; Wilfreddehelm (discusión | contribuciones)
Los axiomas de Peano o postulados de Peano definen de manera exacta al conjunto de los números naturales. Fueron establecidos por Giuseppe Peano, matemático italiano en el siglo XIX.
Básicamente, los naturales se pueden construir a partir de 5 axiomas fundamentales:
- 1 es un número natural.
- Si a es un número natural, entonces a+1 también es un número natural (llamado el sucesor de a).
- 1 no es sucesor de ningún número natural.
- Si hay dos números naturales a y b tales que sus sucesores son diferentes entonces a y b son números naturales diferentes.
- Axioma de inducción: si un conjunto de números naturales contiene al 1 y a los sucesores de cada uno de sus elementos entonces contiene a todos los números naturales.
