"Рекурсивный математический анализ" - читать интересную книгу автора (Гудстейн Р.Л. (Goodstein R.L.))