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