axiomas de Peano

m. Mat. Sistema de axiomas para la aritmética ideados por el matemático Giuseppe Peano a finales del siglo XIX, para 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 y completitud de la aritmética y la teoría de números. ORIGEN