> So there's no actual advantage The advantage of a robust philosophy of mathematics is that what you're doing actually makes sense. Some people care about con

> So there's no actual advantage The advantage of a robust philosophy of mathematics is that what you're doing actually makes sense. Some people care about conceptual clarity, and others don't. To each their own.