發送短信: Introducing philosophy of mathematics