用集合的势定义乘法我看不出哪里跟“3个5哪个写在前”有关

用群论的定义我完全看不懂⋯⋯

好像涉及“3个5”哪个写前后，应该是用皮亚诺算术定义出来的，因为涉及递归？但这个递归前面的元还是后面的，不是任意定义的吗？

hanxv (氷空の花束) 在 ta 的帖子中提到：

法国小朋友先学抽象代数，然后证明整数乘法构成一个交换群，就不会纠结先后的问题了！