无穷小微积分电子版的新风貌（模型论风格）

     大家知道，数理逻辑模型论（Model Theory）的创立是上世纪数学的最大进展之一。模型论把数学的研究对象从数量与空间关系进一步扩大到数学推理形式语言的本身，也就是说，扩展到数学研究中的形式语句（Sentence或Statement）.。对一般人而言，模型论显得有点”怪“，与传统数学的味道儿不同。

            在无穷小微积分电子书里面，J. Keisler十分小心地（而且大胆地）带领学生进入数学的这一新领域。这个领域存在一些认识的”雷区“，必须小心通过。我们把话说白了，就是存在两套”微积分“，但是，这两套微积分说的形式”语言“却是相同的。一套微积分是传统的“极限论”，另一套微积分就是所谓的”无穷小微积分”。这两套微积分有什么关系呢？

           在无穷小微积分电子书的第一章第1.5节（第28页，作者引入“表达式”（Expression）与“陈述句”（Statement）的形式语言术语。由常数、变量以及各类运算与函数符号组成的数学式子叫做“表达式”。用等号或不等号将两个表达式连接起来就叫做“陈述句”，另外，表达式确定与否的文字表述也算“陈述句”。比如：

                          a,        x+y      xi+z        x+sin(x)        √x   f(x+y)  f(g(x))-3y       等等

都是表达式，而陈述句则是：

              x=x+y           sin(x) < 0.5    “√x+y没有定义”的表述本身，等等

都是模型论所关心的“陈述句”。

            在该电子书里面作者指出：在这两套微积分之间，所有有意义的陈述句都可以转移（Transfer）。这就是说，实数系的代数公理与次序公理可以照搬过去。但是，实数系的完备公理却不行。为什么？因为它不能用表达式构成的形式语句（陈述句）表达出来。因此，无穷小微积分没有传统实数系的完备性，但是，这无关微积分应用的“大局”。

            学习这本电子书，这一节是个“难点”，但是，却很有味道。可以说，模型论发现了严格意义上的数学“无穷小数”，如同“虚数”一样。无穷小数只是一个数学推理的思想工具，并不实际“物理存在”（也许存在，但是，那并不重要）。事实将会证明，现代微积分学一旦引入这种”无穷小数“元素，面貌将大为改观，充满一种新鲜空气，数学证明中不必要的”繁文缛节“消失不见了，在数学教学中，省时省力，何乐而不为?

           说明：昨日下午，我已确定普及无穷小微积分（电子版）网站的域名正在审批之中，年底可望正是开通。此举不被某些媒体理解，甚至受到“斜眼”。但但是，我不怕这些斜视的目光，我拿着自己的小手电筒继续走路。