Zaslat SMS: Introduction to axiomatic set theory