We write = as "equals", + as "plus", $\exists$ as "thereExists" and so on. Supplemented with some brackets everything will be precise:
$$\exists x,y,z,n \in \mathbb{N}: n>2 \land x^n+y^n=z^n$$
instead of writing:
ThereExists x,y,z,n from theNaturalNumbers suchThat
n isGreaterThan 2 and x toThePower n plus y toThePower n equals z toThePower n
What is the reason that we don't write all words as symbols (almost like a Chinese word system?)
Is it for redundancy? Clarity? Can our visual system process it better?
Because not only do we have to write the words, in order to understand them, we have to guess the real meaning of them.
If algebra and logic had been invented in Japan or China, might the words actually have just been the symbols themselves?
It almost seems like for each word there should be an equivalent symbol-phrase that it corresponds to that is accepted.
This question seems pretty close to why aren't symbols written in words, but there's still the question why don't we write everything in symbols, and leave natural languages behind?
