"Iterated Inductive Definitions and Subsystems of Analysis" - читать интересную книгу автора (W. Buchholz, S. Feferman, W. Pohlers, W. Sieg)