Некоторые другие аксиоматики натуральных чисел, кроме аксиом Пеано:
Арифметика Пеано. ru.wikipedia.org Система, получаемая заменой аксиомы индукции системой аксиом на языке логики первого порядка и добавлением символов операций сложения и умножения. ru.wikipedia.org
Аксиоматика множеств Цермело-Френкеля (ZF). habr.com На её аксиомах строится современная математика. habr.com Некоторые из них: аксиома объёмности (если два множества состоят из одинаковых элементов, то они равны), аксиома подмножеств (если есть некоторая формула, то из любого множества она «вырезает» также множество), аксиома степени (множество подмножеств также является множеством), аксиома бесконечности (существует множество, которое содержит пустое множество, а также вместе с каждым элементом x содержит множество {{x}, x} — то есть все элементы x и сам x как элемент) и аксиома регулярности (не существует бесконечных по включению цепочек множеств). habr.com
Примеры полезных ответов Поиска с Алисой на вопросы из разных сфер. Вопросы сгенерированы нейросетью YandexGPT для актуальных тем, которые определяются на базе обобщённых запросов к Поиску с Алисой.