Кузнецов С. Л. - Математическая логика - Арифметика Пеано

0:00:17 1. Арифметика Пеано
0:32:25 2. Определение функции, доказуемо-тотальные функции
0:39:14 3. Теорема Гёделя
0:52:56 4. Теорема: Всякая примитивно-рекурсивная функция доказуемо-тотальна в арифметике Пеано
1:11:35 5. Доказуемо-тотальность функции взятия остатка в арифметике Пеано и определение взаимной простоты двух чисел
1:24:30 6. Если p - простое и делит произведение, то делит один из множителей