Axiomas de Peano
De Wikipedia, la enciclopedia libre
20px
rect 0 0 1000 1000 Esta página está semiprotegida. desc none
</imagemap> </div>
Los axiomas de Peano o postulados de Peano definen de manera exacta al conjunto de los números naturales. Fueron establecidos por Peano (1858-1932), 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. Es decir, el conjunto de los números naturales es no vacío.
- 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. Es el primer elemento del conjunto.
- 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.
Los axiomas de Peano, tal como fueron escritos (en latín), fueron
- 1 es un número.
- El sucesor inmediato de un número también es un número.
- 1 no es el sucesor inmediato de ningún número.
- Dos números distintos no tienen el mismo sucesor inmediato
- Toda propiedad perteneciente a 1 y al sucesor inmediato de todo número que también tenga esa propiedad pertenece a todos los números.
El hecho de considerar el 0 como natural o no es tema de controversia. Normalmente se considera que lo es según si se necesita o no.ca:Axiomes de Peano cs:Peanovy axiomy de:Natürliche Zahl#Peano-Axiome en:Peano axioms fi:Peanon aksioomat fr:Axiomes de Peano hu:Giuseppe Peano#A_term.C3.A9szetes_sz.C3.A1mok_Peano-axi.C3.B3m.C3.A1i it:Assiomi di Peano ja:ペアノの公理 ko:페아노의 공리 pms:Assiòma ëd Peano pt:Axiomas de Peano ru:Аксиомы Пеано tr:Peano Aksiyomları zh:皮亚诺公理
