Аксиомы Пеано, введённые в 1889 году итальянским математиком Джузеппе Пеано, поспособствовали формализации арифметики. ru.ruwiki.ru
Некоторые последствия влияния аксиом Пеано на развитие математики:
- Появилась возможность доказывать свойства натуральных и целых чисел. ru.ruwiki.ru Также стало возможным использовать целые числа для построения формальных теорий рациональных и вещественных чисел. ru.ruwiki.ru
- Появилась возможность определять сложение, умножение и другие арифметические действия над числами. vk.com elib.bsu.by Кроме того, стало возможным вводить отрицательные, рациональные, алгебраические, иррациональные и другие числа и основные правила действий с ними. vk.com elib.bsu.by
- Появилась основа для логического построения геометрии Евклида. vk.com
- Была создана система логических обозначений, которая положила начало современным обозначениям принадлежности к множеству. en.wikipedia.org
- Аксиомы Пеано использовались в ряде метаматематических разработок, в том числе для решения фундаментальных вопросов о непротиворечивости и полноте теории чисел. ru.ruwiki.ru