1. Аксиоматической построение математической теории. Аксиомы Пеан
2. Аксиомы Пеано. Требования к системе аксио
3. Теорема индукции. Доказательство утверждений методом математической индукци
4. Сложение в аксиоматической теории, свойства сложени
5. Умножение в аксиоматической теории, свойства сложени
6. Вычитание в аксиоматической теории, свойства сложени
7. Деление в аксиоматической теории, свойства сложени
8. Теоретико-множественный подход к понятию натурального числа. Отношение эквивалентности на множестве натуральных чисе
9. Понятие целого неотрицательного числа в количественной теории. Отношение «больше», «меньше»
10. Понятие целого неотрицательного числа в количественной теории. Отношение равенств
11. Сложение в количественной теории. Существование и единственность сложени
12. Сложение в количественной теории. Коммутативность сложени
13. Сложение в количественной теории. Аддитивность сложени
14. Вычитание в количественной теории. Существование и единственность разности
15. Вычитание в количественной теории. Вычитание числа из сумм
16. Вычитание в количественной теории. Вычитание числа из разности
17. Вычитание в количественной теории. Вычитание числа из сумм
18. Умножение в количественной теории. Аддитивность умножени
19. Умножение в количественной теории. Коммутативность умножени
20. Умножение в количественной теории. Ассоциативность умножени
21. Деление в количественной теории. Невозможность деления на нол
22. Деление в количественной теории. Связь деления с умножение
23. Деление в количественной теории. Деление суммы на число
24. Деление с остатком