It might be incidental but the history of mathematics is rich with dissent and conflicting methodologies and syntaxes. Just even the initial mathematical symbol

It might be incidental but the history of mathematics is rich with dissent and conflicting methodologies and syntaxes. Just even the initial mathematical symbols that started to be used were quite the ambitious effort by Peano. [1] That reading will take you down the wormhole of efforts for a "universal language" between mathematicians based on latin. And then you'll end up reading about 20 different other takes on the ideas. No, it's not just incidental -- there were international congresses of mathematicians about these issues and the adopted solutions were mostly elegant and looked upon favorably. There are always going to be some dissenters though, and they have some validity - but well, conventions are usually a compromise between effectiveness and majority opinion. There is still huge rift in mathematics on the issue of constructive proofs vs intuitionistic proofs. There are a lot of camps in formal mathematics. Kinda like functional programmers and the constant "tripes" they'll knack on. Whimsical stuff :-) [1] https://en.wikipedia.org/wiki/Giuseppe_Peano https://en.wikipedia.org/wiki/Giuseppe_Peano