Text this: Axiomatic set theory - Patrich, Suppes