> Why is that? Why is there not a universal way of writing mathematics that is not ambiguous and can be read by anyone that understands the 'language'? There i

> Why is that? Why is there not a universal way of writing mathematics that is not ambiguous and can be read by anyone that understands the 'language'? There is one, it's called formal logic. The problem with it is that it's not adequate to explain things, only to prove theorems formally; any strict unambiguous proof written in formal logic looks more like a debug trace than a scientific article. To provide a proper explanation of a mathematical result, at many points in the proof you need to summarize the hundreds of intermediate mechanical steps and write the insight behind them in common language, using potentially ambiguous words.