发送短信: Introducing philosophy of mathematics