Title: a philosophy of mathematics