Title: the philosophy of arithmetic