Frege: the philosophy of mathematics