Αποστολή με SMS: Formale und transzedententale logik