Seol mar théacs é seo: Teoría axiomática de conjuntos.