Степанов И.Д. Математическая логика и теория алгоритмов, Лекция 14, 12.12.20