Лекция 2. С.Л. Кузнецов. Теорема Чёрча-Россера