Diferencia entre revisiones de «Axiomas de Peano»

Contenido eliminado Contenido añadido
m Revertidos los cambios de X2y3 (disc.) a la última edición de Davius
Sin resumen de edición
Línea 1:
Los '''axiomas de Peanoano''' o '''postulados de Peano''' son un sistema de [[axioma]]s [[aritmética|aritméticos]] ideados por el matemático [[Giuseppe Peano]] en el siglo XIX, para [[definición (matemática)|definir]] los [[números naturales]]. Estos axiomas se han utilizado prácticamente sin cambios en diversas investigaciones matemáticas, incluyendo cuestiones acerca de la [[Consistencia (lógica)|consistencia]] y [[Completitud (lógica)|completitud]] de la aritmética y la [[teoría de números]].
 
Los publicó en 1889, en un folleto de unas treinta páginas, intitulado ''Aritmetices principia, nova methodo exposita'', que se traduce por ''Nuevo método de exposición de los principios de la aritmética''. Da una lista de nueve axiomas, de los cuales cuatro versan con el uso del signo '' = ''. Los demás se conocen como "Axiomas de Peano". Los matemáticos los consideran como la plataforma preliminar para forjar los siguientes conjuntos usuales de números. La idea pivotal de Peano fue la de "sucesor". <ref>F. Gareth Ashurst. ''fundadores de las matemáticas modernas''. Alianza editorial, Madrid.ISBN 84-206-0130-1</ref>