Axiomas de Peano

1

Axiomas de Peano
Los axiomas de Peano o postulados de Peano son un conjunto de axiomas para la aritmética introducidos por Giuseppe Peano en el siglo XIX. Los axiomas se han utilizado prácticamente sin cambios para una variedad de investigaciones metamatemáticas, incluyendo cuestiones acerca de la consistencia y completitud de la aritmética y la teoría de números. Los cinco axiomas o postulados de Peano son los siguientes: 1. 2. 3. 4. 5. El 1 es un número natural. Si n es un número natural, entonces el sucesor de n también es un número natural. El 1 no es el sucesor de ningú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, 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. 2. 3. 4. 5. El 0 es un número natural. Si n es un número natural, entonces el sucesor de n también es un número natural. El 0 no es el sucesor de ningú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 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.

Presentación formal
Como se dijo anteriormente, existe un debate sobre si incluir al 0 entre los números naturales o no. A continuación se presentan los axiomas de Peano de manera formal, contemplando ambas posibilidades:

Cuando no se incluye al 0
Los símbolos primitivos son: El símbolo N es un predicado monádico que pretende ser leído como "ser un número natural". El símbolo 1, por su parte, es una constante que pretende representar al número uno. Y el símbolo x', finalmente, es una función sobre x que devuelve al sucesor de x. A esta función muchas veces se la escribe "S(x)". Los cinco axiomas de Peano son:

Del quinto axioma existen dos variantes. El primero está formulado en lógica de primer orden, y es en realidad un esquema de axioma. El segundo sí es un axioma, pero está formulado en lógica de segundo orden.

la aritmética de Peano recurre a dos definiciones (de la suma y de la multiplicación). Sin embargo. que a veces se presentan como axiomas. en las definiciones (o los axiomas) de suma y de multiplicación hay que hacer algunos leves ajustes más: • Definiciones de suma y multiplicación: • Axiomas de la suma y de la multiplicación: .Axiomas de Peano Además de los cinco axiomas. A continuación se incluyen todas las variantes: • Definiciones de suma y multiplicación: 2 • Axiomas de la suma y de la multiplicación: Cuando se incluye al 0 Símbolos primitivos: Axiomas: Cambiar los axiomas para que incluyan al 0 es sólo una cuestión de cambiar toda aparición del 1 por el 0.

los axiomas de Peano fueron diseñados para caracterizar a los números naturales. Si el dos pertenece a un conjunto. 2. 3. dado que el significado de los símbolos primitivos no está especificado (por eso son primitivos). y existen infinitos modelos inintencionales de la aritmética de Peano. a N como el predicado "ser un día". 5. En tal caso. interpretando al símbolo 0 como el número cero. y a x' como el sucesor del sucesor. sino a la noción más amplia de progresión. y los axiomas ya no definen a los números naturales. Giuseppe (marzo de 1979). El dos es un número par Si n es un número par. algunas de las cuales serán además modelos. y a x' como el día después de x. podría interpretarse a 0 como el primer día de la creación. Por ejemplo. interpretaciones que hagan verdaderos a todos los axiomas) por fuera de la matemática. Véase también • Noción primitiva Enlaces externos • MaTeTaM: Postulados de Peano [1] • El Arte de las Matematicas: Postulados de Peano [2] . los axiomas tendrían que entenderse así: 1. Estrictamente hablando. ed. sino a los números pares. el sucesor del sucesor de ese número también pertenece a ese conjunto. Por ejemplo. Julián Velarde Lombraña. entonces n y m son el mismo número par. Sin embargo. Bibliografía • Peano. cada uno de los axiomas resulta verdadero. Pentalfa Ediciones. También es posible encontrar modelos (es decir. y dado un número par cualquiera. la aritmética de Peano no define a la serie de los números naturales. Si hay dos números pares n y m con el mismo sucesor de sucesor. los axiomas también resultan verdaderos. Luego.Axiomas de Peano 3 Modelos inintencionales Un modelo es una interpretación de los símbolos primitivos que hace verdaderos a todos los axiomas. ISBN 978-84-85422-02-9. a N como el predicado "ser un número par". en vez del sucesor inmediato. Traducido por Julián Velarde Lombraña (1ª edición). Los principios de la aritmética: expuestos según un nuevo método. entonces todos los números pares pertenecen a ese conjunto. y los símbolos primitivos debían ser interpretados de esta manera natural. Bajo esta interpretación. y al predicado N como los números naturales. N y x'. el primer axioma resulta verdadero. Bajo esta interpretación. entonces el sucesor del sucesor de n también es un número par El dos no es el sucesor del sucesor de ningún número par. Por ejemplo. todos los axiomas resultan verdaderos. 4. podría interpretarse al símbolo 0 como el número dos. Originalmente. admiten varias interpretaciones. A aquellos modelos que no fueron originalmente planeados se los llama modelos inintencionales (non-intended models). porque es verdad que "el cero es un número natural". Lo mismo ocurre con todos los otros axiomas: bajo las interpretaciones naturales de 0. las interpretaciones naturales de los símbolos primitivos son un modelo de la aritmética de Peano.

com/ 2009/ 05/ postulados-de-peano.Axiomas de Peano 4 Referencias [1] http:/ / www. com/ glosario/ definicion/ postulados-peano [2] http:/ / dianapatriciadiazgutierrez. html . blogspot. matetam.

Sabbut. Jynus. Dreitmen.php?oldid=40761581  Contribuyentes: Atope36. Luis Felipe Schenone. Rbonvall. Raystorm. Joseaperez. org/ licenses/ by-sa/ 3. Triebjlr. Tano4595. Matdrodes.0 Unported http:/ / creativecommons. 0/ . 33 ediciones anónimas Licencia Creative Commons Attribution-Share Alike 3. Charly Toluca. SpeedyGonzalez. Camilo. Dnu72. Rsg.org/w/index.wikipedia. Manwë.Fuentes y contribuyentes del artículo 5 Fuentes y contribuyentes del artículo Axiomas de Peano  Fuente: http://es. Ingenioso Hidalgo. Chikarancid. Spaceone.

Sign up to vote on this title
UsefulNot useful