Agreed!

One very minor point, “1+1=2” is not even a proposition until someone understands it. Before someone understands it,it is only an ink pattern.
Even worse than that, 1+1=2 is false, it’s clearly 10… in binary.
Point being, that part of our interpretation (understanding) is to ascribe meaning to the symbols also. It can only be ‘true’ in the abstract, both 2 (decimal) and 10 (binary) point to (represent) the same underlying concept.
This concept of 1+1=2 seems to apply to reality, but reality isn’t constructed out of simple discrete components (quantum wave functions are not discrete, the measurements are). 1 apple is trillions of atoms and we only isolate it as an ‘apple’ in an abstract sense, there are a near infinity of arrangements that all qualify as ‘apple’, and then change a few molecules here and there with molecules from an orange and when would you say it stops being an ‘apple’? 1 molecule? (note: your average apple probably has billions of foreign molecules on it), a billion? a trillion? In reality we cannot draw a line between the two. But at some point we clearly don’t have an ‘apple’ any more, or maybe we never had an ‘apple’ to begin with?
Mathematics is also an axiomatic system, which means you have to feed into it the axioms (rules) of the game. Something is only said to be true, in mathematics, relative to those rules. And we have sets of mathematical rules that appear to conform extremely well with the world we observe, this gives us 1+1=2. But we can change those rules such that 1+1=5 is true, and I don’t just mean change the meaning of the symbols as I did with my 10 (binary) example. I mean literally change the rules so 1+1=5 is true. This, of course, gives us nonsense answers that don’t appear to be useful in the ‘real world’, but they are mathematically valid. This is how we discovered non-euclidean geometry – we tweaked some of the rules of the mathematical formalism. And those tweaks away from what seemed like reality turned out to be immensely powerful tools in understanding our universe.
Bottom line: the meaning of a mathematical truth may or may not coincide with a truth about reality, The way we investigate that correspondence is through physical experiment and measurement and we have to be extremely careful and clear in our interpretations.