"Axiomatic set theory: impredicative theories of classes" - читать интересную книгу автора (R. Chuaqui)