POSTULADOS DE PEANO

El matemtico italiano PEANO, defini una serie de axiomas que describen al conjunto de los nmeros naturales, de la siguiente manera:

1 es un nmero. El sucesor inmediato de un nmero tambin es un nmero. 1 no es el sucesor inmediato de ningn nmero. Dos nmeros distintos no tienen el mismo sucesor inmediato. Toda propiedad perteneciente a 1 y al sucesor inmediato de todo nmero que tambin tenga esa propiedad pertenece a todos los nmeros.

. El 1 es nmero natural. . El siguiente de un nmero natural es tambin un nmero natural. . Si los siguientes de dos nmeros naturales son iguales, entonces los nmeros son iguales. . No existe un nmero natural cuyo siguiente sea 1. . Si S es un conjunto de nmeros naturales tal que 1 es de nmero natural es de nmeros naturales. Los postulados de Peano definen los nmeros naturales de manera recursiva y econmica. E incluso se puede decir que los construyen. Notemos que los postulados usan tres preconceptos: nmero natural (el cual queda definido por los axiomas), primer nmero natural (implcito en (n-->n+1) Los Postulados de Peano describen la estructura Nmeros Naturales sin necesitad de otra teora alguna (por ejemplo Teora de Conjuntos) y ajena de las definiciones aritmticas de suma o equivalencia, de la siguiente forma: y ), y la funcin "siguiente" o consecutivo tambin su siguiente est en y siempre que un es el conjunto de

, entonces

0 es un smbolo que cumple la propiedad de ser un Nmero Natural. (Ntese que 0 no tiene que significar nada en lo absoluto, bien puede ser una manzana, el

conjunto

vaco,

el

uno

en

los

reales

cualquier

otra

cosa)

Si es un Nmero Natural, entonces el smbolo () representa a un Nmero Natural distinto de , cuyo significado ser: aqul Nmero Natural que sucede al Nmero Natural . (Ntese en este postulado que el significado del smbolo, otra vez, es independiente de la notacin, este postulado nos permite construir nuevos Nmeros Naturales, encerrndolos entre el los smbolos ( y )) el smbolo 0 no tiene la forma () para un Nmero Natural, por lo tanto, no existe un Nmero Natural tal que el smbolo 0 represente al mismo objeto que () (A este postulado se le conoce con el nombre de Principio del Buen Orden, pues garantiza un elemento inicial) Si y son Nmero Naturales distintos, entonces los Nmeros Naturales () y () tambin son distintos. (En Teora de Conjuntos este postulado se leera como: Si 0 forma S es forma es una una coleccin parte parte o de de funcin grupo S tal inyectiva) que: y, S,

para cada elemento de S, es un Nmero Natural y adems, el Nmero Natural () entonces S representa a la coleccin o grupo de todos los Nmeros Naturales.

A este ltimo postulado se le conoce tambin con el nombre de induccin matemtica. Se viene utilizando de modo ms o menos informal desde la antigedad (Euclides, Al-Karaji) y fue definida con ms precisin por Francesco Maurolico, Jakob Bernoulli, Pascal y Fermat. Peano incorpor la induccin como un axioma de su sistema, como nico medio para poder demostrar propiedades, incluso muy bsicas, de los nmeros naturales. Sin embargo, el principio de induccin matemtica es ms complejo que el resto de los axiomas. En trminos de lgica, es el nico clasificable como lgica de segundo orden, en tanto que los dems axiomas son de lgica de primer orden. Se han propuesto sistemas axiomticos ms dbiles, que prescinden del principio de induccin (aritmtica de Robinson).