"A Formalization of Set Theory without Variables (Colloquium Publications)" - читать интересную книгу автора (Alfred Tarski, Steven Givant)