Some proposals for reviving the philosophy of mathematics