Seol mar théacs é seo: Elementary theory of sets