>数学で定義に従うのは当然だろう
交換法則に従うのは当然だろう

アメリカでの順序の強制については個人ブログ以外の情報が見つからないのでこれ以上の話はできませんね
ただアメリカが強制でも非強制でも「強制すると外国との間で計算の矛盾が起こる」といえます