發送短信 : Wann ist eine formale Logik kreativ?