林群、张景中院士近年来致力于微积分局部公理化，此路不通

进入本世纪初，国内两位数学家林群、张景中院士致力于在原有实数系统基础上将微积分局部公理化（达到微积分初等化的目的），越搞越复杂，此路不通也。

在ZFC公理化系统中，要想简化微积分，必须借助数理逻辑模型论工具（紧致性定理），构造超实数系统，引进理想超实数“无穷小”，在新的非阿基米德不完备域上展开微积分公理化，达到简化微积分的目的。

                        从理论本质上来说，无穷小方法与传统极限理论是等价的，具有相同真实性。

说明：请见张景中院士“定积分的公理化定义”。

袁萌  2月17日