鲁宾逊的数学功绩何在？

        实际情况是，鲁宾逊的主要贡献是创立了数理逻辑模型论的基本概念，把数学模型论应用到许多实际领域之中，不限于无穷小分析。

        其实，模型论就是形式逻辑与抽象代数的结合。国内许多数学教员缺少形式逻辑素养，因而惧怕模型论，拒绝无穷小微积分。

        这是鲁宾逊啦啦队首先要明确的。

袁萌   5月19日