1. Аксиоматика натурального числа и нуля. Модели системы аксиом Пеано.
2. Аксиома индукции. Метод математической индукции.
3. Аксиоматическая теория: принцип построения, требования к системе аксиом.
4. Сложение целых неотрицательных чисел в аксиоматике Пеано. Теорема о существовании и единственности суммы двух целых неотрицательных чисел. Законы сложения.
5. Сравнение целых неотрицательных чисел. Отношения равенства и неравенства. Примеры.
6. Операция вычитания во множестве целых неотрицательных чисел. Теорема о существовании разности целых неотрицательных чисел. Правила вычитания числа из суммы и суммы из числа. Примеры, в том числе из школьных учебников.
7. Произведение целых неотрицательных чисел в аксиоматике Пеано.
8. Законы операции умножения. Использование определения в начальном курсе математики.
9. Деление в Аксиоматике Пеано. Теорема о единственности частного.
10.Невозможность деления на 0. Неопределенность
11.Деление с остатком в аксиоматике Пеано.