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