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