Кузнецов С. Л. - Математическая логика - Кодирование примитивно-рекурсивных функций

0:00:30 1. Теорема: в арифметике Пеано Σ1 - полна 0:29:25 2. Кодирование примитивно-рекурсивных функций в арифметике Пеано: док-во существования и единственности