微积分绑定模型论，超实数名正言顺

希尔伯特在其代表作“几何基础”中首次提出公理化数学体系的“模型”（Model）的观念。

  简而言之，所谓“公理化数学体系”利用少数的公理组来展开整个数学的形式体系，也就是说，使用符号语言表达数学内容。

    符号语言中，最常见的东西就是公式化的“句子”（Sentense）。由此，公理组变成了“句子”集合。简称“句集”。

    实际上，希尔伯特的核心思想是：公理组所涉及的“对象”是抽象的（没有米具体原型），只要求其满足给定的公理组即可。这些东西就称为相应公理化数学体系的数学模型。据此发展出数学模型理论。

   所谓“微积分绑定模型论”，就是采用上述观点来看待微积分，拓展微积分。

进一步，超实数系统也就名正言顺了（没有展开说）。

袁萌  陈启清  7月7日

附件：

Introduction to model theory

Wilfrid Hodges Queen Mary, University of London

（全文请见“”无穷小微积分”网站