Αποστολή με SMS: Logicism, Intuitionism, and Formalism