Аксиомы Пеано, введённые в 1889 году итальянским математиком Джузеппе Пеано, поспособствовали формализации арифметики. 5

Некоторые последствия влияния аксиом Пеано на развитие математики:

• Появилась возможность доказывать свойства натуральных и целых чисел. 5 Также стало возможным использовать целые числа для построения формальных теорий рациональных и вещественных чисел. 5
• Появилась возможность определять сложение, умножение и другие арифметические действия над числами. 12 Кроме того, стало возможным вводить отрицательные, рациональные, алгебраические, иррациональные и другие числа и основные правила действий с ними. 12
• Появилась основа для логического построения геометрии Евклида. 1
• Была создана система логических обозначений, которая положила начало современным обозначениям принадлежности к множеству. 4
• Аксиомы Пеано использовались в ряде метаматематических разработок, в том числе для решения фундаментальных вопросов о непротиворечивости и полноте теории чисел. 5