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