Title: A philosophy of mathematics