Математика Пеано, в частности система аксиом для натуральных чисел, введённая в 1889 году, повлияла на развитие теории чисел, позволив формализовать арифметику. 1
Некоторые результаты влияния аксиоматики Пеано:
- Доказательство многих свойств натуральных и целых чисел. 1 Аксиомы Пеано позволили определить сложение, умножение и другие арифметические действия над числами, ввести отрицательные, рациональные и иррациональные числа и основные правила действий с ними. 2
- Построение формальных теорий рациональных и вещественных чисел. 1 Целые числа, определённые в рамках аксиоматики Пеано, стали основой для таких теорий. 1
- Решение фундаментальных вопросов о непротиворечивости и полноте теории чисел. 1 В сокращённом виде аксиомы Пеано использовались в ряде метаматематических разработок. 1
Таким образом, работа Пеано способствовала достижению математической строгости «основных законов арифметики» и позволила изучать все модели исходной системы аксиом одновременно. 2