Zaslat SMS: Axiomatic set theory