SMS versenden: Einige Grundbegriffe der mathematischen Logik