Email Record: Axiomatic set theory