Ф.Н. Пахомов. «Предикативные подсистемы арифметики второго порядка»