>>595
>お前の話は、掛け算の定義自体に交換法則をアプリオリに含めているというもの。

当たり前だろ。整数の定義にも、有理数の定義にも、
実数の定義にも、可換環であることが含まれる。
乗法可換は公理のひとつであり、定義の時点で
あらかじめ与えられている。