theory of sets 3639235