basis for new perspectives on the philosophy of mathematics. .