"A constructive interpretation of the full set theory" - читать интересную книгу автора (Turchin V.F.)