Stav dette: Einige Grundbegriffe der mathematischen Logik