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