Los axiomas de Peano o postulados de Peano son un sistema de axiomas aritméticos ideados por el matemático Giuseppe Peano en el 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.