0192132人目の素数さん垢版 | 大砲2021/02/06(土) 13:17:12.29ID:LR53yx4D +という言語が設定された時点でなにかしらの公理系が仮定されていると考えるのは普通だと思いますけど まさか、+と書かれた関数記号を掛け算の意味で使う人はいませんよね