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