Seol mar théacs é seo: Concepts in set theory