Seol mar théacs é seo: Lógica y teoría de conjuntos