发送短信 : Einige Grundbegriffe der mathematischen Logik