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