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