Αποστολή με SMS: Einige Grundbegriffe der mathematischen Logik