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