>>72
「〜というルールはない」はルールじゃない．
「可換である」も，それだけじゃ乗算を定めるには全然不十分．

それに「可換である」を仮定しちゃったらそもそも議論にすらならんよ．
「どちらも掛け算と呼び，同じ記号を使ってるけど違うものですね」で終わっちゃう．