Лекция 6. С.Л. Кузнецов. Спецкурс «Математическая логика, часть 2»