The fact is you are talking about the meaning of words. Be they English words; or Mathematical words.
If you are going to talk about the correspondence theory in the same breath as you are talking about any language - you need to solve the symbol-grounding problem.
What function/mechanism/relation (or if you don't like any of those words - pick your own) grounds symbols?