SMS: Axiomatic set theory