The whole drive of mathematics (and logic) is ultimately that syntax is the semantics. This, of course, is annoying for almost all communication, particularly

The whole drive of mathematics (and logic) is ultimately that syntax is the semantics. This, of course, is annoying for almost all communication, particularly when we want to use fuzzy, hard to define terms. Languages are useful because you can pretty heavily butcher the syntax, but still be understood. (And arguably, that fuzziness is what drives new thoughts.)