Email Record: Introducing philosophy of mathematics /