この資料をSMS送信: Towards a philosophy of real mathematics