Diferencia entre revisiones de «Número natural»

Contenido eliminado Contenido añadido
m Revertidos los cambios de 189.141.182.21 (disc.) a la última edición de Ggenellina
Línea 50:
Este sistema de numeración fue adoptado más tarde, aunque con símbolos gráficos diferentes, en la [[Grecia Antigua]] y en la [[Antigua Roma]]. En la Grecia antigua se empleaban simplemente las [[letra]]s de su [[alfabeto]], mientras que en la antigua Roma además de las letras, se utilizaron algunos símbolos.
 
Quien colocó al conjunto de los números naturales sobre lo que comenzaba a ser una base sólida, fue [[Richard Dedekind]] en el [[siglo XIX]]. Este los derivó de una serie de postulados (lo que implicaba que la existencia del conjunto de números naturales se daba por cierta), que después precisó [[Peano]] dentro de una lógica de segundo orden, resultando así los famosos cinco postulados que llevan su nombre. [[Frege]] fue superior a ambos, demostrando la existencia del sistema de números naturales partiendo de principios más fuertes. Lamentablemente la teoría de Frege perdió, por así decirlo, su credibilidad y hubo que buscar un nuevo método. Fue [[Zermelo]] quien demostró la existencia del [[conjunto]] de números naturales, dentro de su teoría de conjuntos y principalmente mediante el uso del [[axioma]] de infinitud que, con una modificación de este hecha por andre[[Adolf jacksFraenkel]], permite construir el conjunto de números naturales como [[ordinal]]es según [[von Neumann]].
 
== Construcciones axiomáticas ==