Ф.Н. Пахомов. Лекция 7. Теорема Парсонса-Минца-Такеути о доказуемо вычислимых функциях IΣ1 (Часть 2)