Seol mar théacs é seo: Grundbegriffe der Mengenlehre und Logik