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