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

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 - простое и делит произведение, то делит один из множителей