Diferencia entre revisiones de «Axiomas de Peano»
Contenido eliminado Contenido añadido
Preposición propia. Etiquetas: Edición desde móvil Edición vía web móvil |
|||
Línea 1:
Los '''axiomas de Peano''' o '''postulados de Peano''' son un [[Sistema axiomático|sistema de axiomas]] de [[Lógica de segundo orden|segundo orden]] para la [[aritmética]] 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
== Los axiomas ==
|