Ф.Н. Пахомов. Бар-индукция для классов в арифметике второго порядка. Лекция 2