add theory of sets