A formalization of set theory without variables - Tarski, Alfred (American Mathematical Society, 1987)