Бесконечные арифметические формулы и принцип рефлексии

Строится расширение языка арифметики, позволяющее работать с рекурсивными последовательностями арифметических формул как с одной формулой. Доказывается, что в построенное расширение вкладываются принципы рефлексии С. Фефермана.