Antes de que surgieran los nmeros para la representacin de cantidades, el ser humano us otros mtodos para contar, utilizando

para ello objetos como piedras, palitos de madera, nudos de cuerdas, o simplemente los dedos. Ms adelante comenzaron a aparecer los smbolos grficos como seales para contar, por ejemplo marcas en una vara o simplemente trazos especficos sobre la arena (Vase hueso de Ishango). Pero fue en Mesopotamia alrededor del ao 4.000 a. C. donde aparecen los primeros vestigios de los nmeros que consistieron en grabados de seales en formas de cuas sobre pequeos tableros de arcilla empleando para ello un palito aguzado. De aqu el nombre de escritura cuneiforme. Este sistema de numeracin fue adoptado ms tarde, aunque con smbolos grficos diferentes, en la Grecia Antigua y en la Antigua Roma. En la Grecia antigua se empleaban simplemente las letras de sualfabeto, mientras que en la antigua Roma adems de las letras, se utilizaron algunos smbolos. Quien coloc al conjunto de los nmeros naturales sobre lo que comenzaba a ser una base slida, fue Richard Dedekind en el siglo XIX. Este los deriv de una serie de postulados (lo que implicaba que la existencia del conjunto de nmeros naturales se daba por cierta), que despus precis Peano dentro de una lgica de segundo orden, resultando as los famosos cinco postulados que llevan su nombre. Frege fue superior a ambos, demostrando la existencia del sistema de nmeros naturales partiendo de principios ms fuertes. Lamentablemente la teora de Frege perdi, por as decirlo, su credibilidad y hubo que buscar un nuevo mtodo. Fue Zermelo quien demostr la existencia del conjunto de nmeros naturales, dentro de su teora de conjuntos y principalmente mediante el uso delaxioma de infinitud que, con una modificacin de este hecha por Adolf Fraenkel, permite construir el conjunto de nmeros naturales como ordinales segn von Neumann. Las propiedades de los nmeros naturales son: 1. Que un nmero natural va despus del otro 2. Que dentro de dos nmeros naturales consecutivos no puede haber otro 3. Que son infinitos [editar]Construcciones

axiomticas

Histricamente, se han realizado propuestas para axiomatizar la nocin habitual de nmeros naturales, de entre las que destacan las de Peano y la construccin a partir de la teora de conjuntos. [editar]Axiomas

de Peano

Los axiomas de Peano rigen la estructura de los nmeros naturales sin necesidad de otra teora (por ejemplo, la de conjuntos) ni de las nociones aritmticas de suma o equivalencia. Requiere, eso s, de la nocin previa de sucesor. Los cinco axiomas de Peano son (definicin sin el cero): 1. El 1 es un nmero natural. 2. Si n es un nmero natural, entonces el sucesor de n tambin es un nmero natural. 3. El 1 no es el sucesor de ningn nmero natural. 4. Si hay dos nmeros naturales n y m con el mismo sucesor, entonces n y m son el mismo nmero natural. 5. Si el 1 pertenece a un conjunto de nmeros A, y adems siempre se verifica que: dado un nmero natural cualquiera que est en A, su sucesor tambin pertenece a A;

entonces A contiene al conjunto de todos los nmeros naturales. Este es el axioma de induccin, que captura la idea de induccin matemtica. [editar]Definicin

en teora de conjuntos

En teora de conjuntos se define al conjunto de los nmeros naturales como el mnimo conjunto que es inductivo. La idea es que se pueda contar haciendo una biyeccin desde un nmero natural hasta el conjunto de objetos que se quiere contar. Es decir, para dar la definicin de nmero 2, se requiere dar un ejemplo de un conjunto que contenga precisamente dos elementos. Esta definicin fue proporcionada por Bertrand Russell, y ms tarde simplificada por Von Neumann quien propuso que el candidato para 2 fuera el conjunto que contiene solo a 1 y a 0. Formalmente, un conjunto se dice que es un nmero natural si cumple