Text this: Introducing philosophy of mathematics/