Seol mar théacs é seo: Einige Grundbegriffe der mathematischen Logik