>>630の主張はおそらく２つに分解できると思う
１A：自然数の乗算は可換であり
１B：可換な乗算は
　　順序対の集合と積の集合との対応ではなく
　　２つの集合の直積集合と積の集合の対応として
　　理解した方がいい
２：順序対における本質は対とする元またはその元が属する集合に区別があることであって
　　時間的や空間的な差は（常に対応はつけられるが）本来関係ない