Αποστολή με SMS: Mathematical interpretation of formal systems /