The fact that mathematics definition are a construction and not something that's absolutely obvious, and also that notations have evolved and so are a bit arbit

The fact that mathematics definition are a construction and not something that's absolutely obvious, and also that notations have evolved and so are a bit arbitrary as well is absolutely crucial to demystify mathematics. I think the reason mathematicians still wonder if it's necessary is because it would only show that maths are a human construction and not a heaven's revelation, and so makes math more mundane.