Axiomatic theory of sets and classes