Вопросы к Поиску с Алисой
Возможно, имелось в виду аксиоматическое построение арифметики натуральных чисел, связанное с итальянским математиком Джузеппе Пеано. ru.wikipedia.org core.ac.uk
Метод заключается в том, чтобы доказать существование одного натурального числа, а затем определить функцию для создания остальных натуральных чисел, известную как функция следования. www.geeksforgeeks.org
Аксиомы Пеано позволяют формализовать арифметику, доказать многие свойства натуральных и целых чисел, а также использовать целые числа для построения формальных теорий рациональных и вещественных чисел. ru.wikipedia.org
Некоторые из аксиом Пеано: