+という言語が設定された時点でなにかしらの公理系が仮定されていると考えるのは普通だと思いますけど

まさか、+と書かれた関数記号を掛け算の意味で使う人はいませんよね