Αποστολή με SMS: Outlines of a formalist philosophy of mathematics