SMS versenden: Introducing philosophy of mathematics