1

Los axiomas originales de Peano.

Reproducimos la primera pgina de la versin publicada en su lat por G. Peano en 1895 en a o n la Rivista di matematica. N0 vale numero , et es nomen commune de 0,1,2, etc. 0 zero . + plus . Si a es numero, a+ indica numero sequente a . Qustione, si nos pote deni N0 , signica si nos pote scribe qualitate de forma N0 = expressione composito per signos noto . . . , quod non es facile. Ergo nos sume tres idea N0 , 0, + ut idea primitivo, per que nos deni omni symbolo de Arithmetica. Nos determina valore de symbolo non denito N0 , 0, + per systema de propositio primitivo sequente. *
.0 .1 .2 .3 .4 .5

1.

Pp N0 Cls 0 N0 a N0 .. a+ N0 s Cls .0s : as .a . a+ s :. N0 s a.b N0 . a+ = b+ .. a = b a N0 .. a+ -= 0

Induct

Lege:
.0 .1 .2 .3

N0 es classe, vel numero es nomen commune. Zero es numero. Si a es numero, tunc suo successivo es numero. N0 es classe minimo, que satisfac ad conditione . 0. 1. 2:

(Fin de pgina) a En esencia, lo anterior puede parafrasearse as hay tres ideas primitivas, cero (0), nmero : u (N0 ) y sucesor o siguiente (+), ms la nocin de clase (Cls), que en Peano es casi sinnimo de a o o propiedad, y cinco proposiciones primitivas (Pp), ms una previa, que especica que N0 es una a clase, aunque nmero es un nombre comn. Los postulados vienen a decir que: u u el cero es un nmero, u el sucesor (el siguiente) de un nmero es un nmero, u u si el cero pertenece a una clase (= cumple una propiedad) tal que el sucesor de todo nmero u que pertenece a la misma (= que cumple la propiedad) tambin pertenece (= la cumple), e entonces todos los nmeros pertenecen a la clase (= cumplen la propiedad); o como l comenta, u e N0 es la m nima clase que satisface . 0, . 1, . 2., dos nmeros slo pueden tener el mismo sucesor si son iguales, y u o el cero no es sucesor de ningn nmero. u u

2 En el lenguaje conjuntista actual, se resumir en: an Existe un conjunto N, una aplicacin sgt : N N, y un elemento 0 N tales que sgt es inyectiva, o 0 sgt(N), y si S N es tal que 0 S y sgt(S) S, entonces S = N. / Peano elabor sus axiomas en un momento (nales del siglo XIX) en el que la bsqueda de o u una fundamentacin slida para todas y cada una de las partes de las Matemticas se sent como o o a a una necesidad inaplazable. Diversas crisis de la intuicin (la demostracin de Beltrami de que las o o geometr no eucl as deas eran tan rmes como la eucl dea, la creacin de la teor de conjuntos por o a Cantor) hicieron a los matemticos tremendamente desconados hacia lo que, hasta entonces, hab a a sido tenido por indudable. Esta desconanza en la intuicin llev a un reforzamiento del rigor y o o a una revisin de todo lo que se daba por evidente, intentando reducir lo evidente a la m o nima expresin. o Esta actitud hipercr tica se ha mantenido como base esencial de las Matemticas, aunque los a propios matemticos sepan tomrsela a broma. As lo hace I. Stewart en Conceptos de matemtica a a a moderna, (Alianza Editorial, Madrid, 1977), pp. 322 y ss.: Se cuenta que un astrnomo, un f o sico y un matemtico estaban de vacaciones en a Escocia. Al echar una ojeada por la ventanilla del tren, vieron una oveja negra en medio de un campo. Qu interesante!, observ el astrnomo, todas las ovejas escocesas son e o o negras!. A lo que respondi el f o sico, No, no!Algunas ovejas escocesas son negras! El matemtico alz suplicante la mirada al cielo y enton, En Escocia existe al menos a o o un campo, que contiene al menos una oveja, uno de cuyos lados, al menos, es negro. Los matemticos (cuando estn en forma) tienden a la prudencia. Un teorema podr a a a ser cierto. El matemtico recuerda las muchas ocasiones en las que lo obvio result ser a o errneo, y se estremece. En una materia en donde se pueden construir 17-gonos reguo a lares, pero no 19-gonos; donde a la esfera se la puede introducir en su propio interior; a donde hay el mismo nmero de racionales que de enteros, cmo se le puede reprochar u o esa actitud? Y as el matemtico decide suspender el juicio hasta que el teorema es de, a mostrado. Aadamos que no todos los matemticos despliegan tal prudencia, y algunos n a de los ms grandes del mundo (vivos o muertos), mucho menos. Pero incluso aquellos a que por lo general no son tan cautos se dan cuenta de cundo pisan terreno peligroso. a Y debe notarse que hay un abismo entre suspender el juicio sobre un teorema e ignorarlo. Todo aquel que estudie matemticas debe estar dispuesto a decir No me dejo a engaar, aunque por el momento siga el engao, y vea adnde conduce. A menudo es n n o retrospectivamente como las dicultades son ms fciles de comprender. Una persona a a que insista en comprender cada paso antes de pasar al siguienteest expuesta a ensia mismarse tanto en sus pies que no se d cuenta de que est caminando en la direccin e a o equivocada. Durante el primer recorrido est permitido ignorar las dicultades; de esta a manera puede llegarse a un plan de ataque bsico. Luego, si todo parece marchar bien, a puede procederse a pulir los detalles. Pues bien, ha llegado el momento de pulir algunos detalles de nuestra labor anterior. Una oveja que por un lado es negra y por el otro blanca constituye una curiosidad notable; y la importancia de si una oveja dada es o no como parece al principio es poca. Pero los matemticos tienen una inquietante tendencia a apilar deducciones unas sobre a otras, un poco como los desdichados castillos de naipes. Quitemos una de las cartas, y toda la estructura se desploma. Al comienzo del programa espacial americano, un cohete que cost varios millones de dlares hizo explosin nada ms separarse. Se hab o o o a a omitido un punto y coma en la cinta que controlaba su sistema de direccin. Cuanto o ms compleja es una estructura, tanto ms desastroso es el menor fallo. a a A nales de siglo [XIX], los matemticos comenzaron a tener dudas sobre los fundaa mentos de su ciencia. Est de moda hablar de organizaciones piramidales. Las maa

3 temticas se asemejan a una pirmide invertida. Casi todos sus resultados reposan, en a a ultimo trmino, sobre un pequeo nmero de hiptesis. Es una cuestin de prudencia e n u o o elemental el echar una ojeada de cerca a esos supuestos, y hacer de ellos una base lo ms slida posible. a o En este mismo libro hay un cap tulo muy interesante dedicado a los sistemas axiomticos y su a papel en las matemticas (cap. 8). Ms sobre el tema: a a http://www.unizar.es/analisis matematico/numyconj/axiomatica.html.