Axiomatic set theory - Suppes, Patrick (1972)