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