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