SMS dit: Introduction to axiomatic set theory