Comment by naasking

> 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.