A formalization of set theory without variables | lit.salon