Ф.Н. Пахомов. Лекция 20. α-большие множества и фундированность. Нормальные формы Π11-формул