Title: A formalization of set theory without variables
Subjects: Set theory, Symbolic and mathematical Logic