SMS dit: Einige Grundbegriffe der mathematischen Logik