theory of sets 419785