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