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