无穷小微积分的公理系统：

一、代数公理：
A. 封闭律：0与1是超实数。如果a与b是超实数，则a+b，ab以及-a 均为超实数；
B. 交换律： a+b=b+a ab = ba
C. 结合律： a+(b+c)=(a+b)+c   a(bc)=(ab)c
D.单元律： 0+a=a  1a = a
E.逆元律： a+(-a)=0  a 1/a = 1 (a≠0)
F.分配律： a(b+c)= ab + ac

定义：正整数是：1，2=1+1，3=1+1+1，4=1+1+1+1，

二、次序公理
A.  0 < 1
B. 传递律： 如果 a<b以及b<c，则
a< c
C. 分配律： a<b  a=b 或b<a，其中只有一个式子成立
D.加法律： 如果a<b  而且0<c  则 a+c< b+c
E.乘法律： 如果a<b，而且 0<c，则 ac <bc

F.求根律： 如果a>0，对于任意正整数n，存在一个超实数b，使得b的n次方等于a

三、标准部分公理：任意超实数a均无限接近于其标准部分st（a）。

J.Keisler认为，所有有关超实数的熟知事实（Familiar facts)均可由上述三条公理导出，由此，几何图像，函数（数偶形式的定义）、极限、微积分的大厦（数学结构、或模型）就不难建立起来了。这座大厦坚固异常，不怕地动山摇

。

袁萌 12月30日