实数的六个定理（算术公理系统之）减法的定义，以及负0的加入，让原本庸常的事情骤然变得有意思起来，将正整数与负整数两列并为一列，便能见出端倪：…、－3、－2、－1、－0|0、1、2、3、…此.....