（VIII）一个数学理论的构造：加法和减法的定律