Text this: A formalization of set theory without variables