Практическое занятие 3.8. Определение целого неотрицательного числа и отношения «меньше» в аксиоматической теории

Вопросы и задания для подготовки к занятию:

1. Аксиомы Пеано.

2. Определение отношения «меньше» и отношения «больше».

3. Определение целого неотрицательного числа, непосредственно предшествующего данному.

4. Покажите, что множество натуральных чисел является моделью системы аксиом Пеано.