В чем заключается роль аксиом Пеано в формализации арифметики?

Роль аксиом Пеано в формализации арифметики заключается в том, что они позволили свести всю арифметику к нескольким постулатам. dzen.ru На этой основе можно построить всю арифметику, определить сложение, умножение и другие действия над числами, ввести отрицательные, рациональные, алгебраические, иррациональные и другие числа и основные правила действий с ними. vk.com

Аксиомы Пеано, введённые в 1889 году итальянским математиком Джузеппе Пеано, также позволили доказать многие свойства натуральных и целых чисел, а также использовать целые числа для построения формальных теорий рациональных и вещественных чисел. ru.wikipedia.org