- универсальная функция - теорема о существовании перечислимого неразрешимого множества - неразрешимость проблемы остановки (останова) - неперечислимое множество, дополнение к которому неперечислимо - теорема Райса-Успенского - функциональный вариант теоремы Гёделя для арифметик спецкурс про теорему Гудстейна: • Спецкурс "Теорема Гудстейна" построение примера недоказуемо тотальной функции: • 44. Недоказуемая тотальность (без использования функции Гудстейна)
