Ф.Н. Пахомов. Лекция 26. Ординальный анализ теории ATR0