Theory of sets