实数的基本算术规则

对于任意给定的实数$x,y,z$，

1. $x\le x$.
2. 若 $x\le y$ 且 $y\le x,$ 则 $x=y$.
3. 若 $x\le y$ 且 $y\le z,$ 则 $x\le z$
4. 不是$x\le y$ 就是 $y\le x$.
5. 若 $x\le y,$ 则 $x+z\le y+z$.
6. 若 $x\le y$ 且 $0\le z,$ 则 $x\cdot z\le y\cdot z$.
7. $x+(y+z)=(x+y)+z$.
8. $x+0=0+x=x$.
9. 对于$x$总有$y$使得$x+y=y+x=0$.
10. $x+y=y+x$
11. $x\cdot (y\cdot z)=(x\cdot y)\cdot z$.
12. $x\cdot 1=1\cdot x=x$.
13. 若$x\ne 0$，总有$y$使得$x\cdot y=y\cdot x=1$.
14. $x\cdot y=y\cdot x$.
15. $x\cdot (y+z)=(x\cdot y)+(x\cdot z)$.