philosophy of mathematics 1526