"Арифметика второго порядка и автономная вычислимость" - читать интересную книгу автора (Гайлит Е.В.)