Ф.Н. Пахомов. Лекция 12. Лемма об ограниченности для ω-выводов и свойства Π11-ординалов теорий