陶哲轩的这一段整数加法的定义。他为什么就知道那么定义啊。（a—b)+（c—d）定义为（a+c）—（b+d），我想明白他为什么就知道这么去定义呢，为什么不弄个其他形式的。他猜测的吗，还是他碰运气，碰上了。也可能是他借鉴了之前的知识，但是我想此时能借鉴吗？如果借鉴的话，就承认了之前的知识是对的。那么就没有必要再去构造了啊。