AXIOMAS DE PEANO Peano defini los nmeros naturales a partir del concepto de sucesor mediante 5 axiomas, que podran

resumirse en: 1. 1 es un n. 2. El sucesor inmediato de un nmero tambin es un n. 3. 1 no es el sucesor inmediato de ningn n. 4. Dos ns distintos no tienen el mismo sucesor inmediato. 5. Toda propiedad perteneciente a 1 y al sucesor inmediato de todo n que tambin tenga esa propiedad pertenece a todos los nmeros. Nota: considerar a 0 como nmero natural o no todava es tema de controversia. Normalmente se considera que lo es segn se necesite o no. Si damos una versin actualizada de los axiomas, stos quedaran as: 1. 1 es un nmero natural (es decir, el conjunto de los nmeros naturales es no vaco). 2. Si a es un n natural, entonces a + 1 (sucesor de a) tambin lo es. 3. 1 no es sucesor de ningn n natural (es decir, 1 es el primer elemento del conjunto). 4. Si hay dos ns naturales a y b tales que sus sucesores son diferentes, entonces a y b son ns naturales diferentes. 5. AXIOMA DE INDUCCIN: si un conjunto de nmeros naturales contiene al 1 y a todos los sucesores de cada uno de sus elementos, entonces contiene a todos los ns naturales. CONSTRUCCIN DEL CONJUNTO N A PARTIR DE LOS AXIOMAS DE PEANO: LA SECUENCIA NUMRICA. Empezamos por el elemento 1, el siguiente lo hallamos aplicndole el sucesor, y as progresivamente. RELACIN DE ORDEN. a y b N. a<b c N / a + c = b a) Transitividad. Si a < b y b < c, a < c , para todo a, b y c N. b) Tricotomia. Si a y b N a < b a >b, a = b c) Monotona Para todo a, b y c N. a < b a + c < b + c y a * x < b * x SIGNIFICADO DE LAS OPERACIONES 1. La suma n + p se obtiene al aplicar al n n p veces seguidas la operacin de hallar el sucesor. Ej: 7 + 2: supone hallar el sucesor del sucesor (aplicar la operacin del sucesor 2 veces). Al sumar dos elementos cualesquiera de N, el resultado pertenece a N. Condiciones de la suma:

a+0=a (si consideramos la existencia de 0 como perteneciente al conjunto de ns naturales) 2. a+s(b)=s(a+b)

La suma cumple la propiedad conmutativa Cmo se demuestra la suma usando los axiomas de Peano? Esto es posible porque si todo n N tiene sucesor, entonces n + p pertenece a N, dado que n + p = ((( (n + 1) + 1) + 1) + 1). Es decir el resultado de una suma es el sucesor del sucesor del sucesor de n. 2. La resta n - p se obtiene al aplicar al n n p veces seguidas la operacin de hallar el antecesor. Ej: 9 - 3: supone hallar el antecesor del antecesor del antecesor de 9 (aplicar la operacin del antecesor 3 veces).

Al restar dos elementos cualesquiera de N, el resultado pertenece a N slo cuando el minuendo es mayor o igual que el sustraendo. Si no cumple esta propiedad, no hay solucin en N. La resta no cumple la propiedad conmutativa. Cmo se demuestra esta propiedad usando los axiomas de Peano? Esto es posible porque si todo n N tiene sucesor, entonces n + p pertenece a N, dado que n + p = ((( (n + 1) + 1) + 1) + 1). Es decir el resultado de una suma es el sucesor del sucesor del sucesor de n.