"A formalization of set theory without variables" - читать интересную книгу автора (Alfred Tarski and Steven Givant)