鲁宾逊无穷小的理论自信

当前，鲁宾逊无穷小在中国“大行其道”，“昂首阔步”，根据何在？

哥德尔在1930年证明了“紧致性定理”的特例，1936年得以完善。

Compactness theorem （紧致性定理）内容如下：

In mathematical logic, the    pactness theorem states that a set of first-order sentences has a model if and only if every finite subset of it has a model.

二战结束之后，鲁宾逊在紧致性定理基础上，于1960年，证明了超实数模型的存在性，借此发展了无穷小微积分学。

我们的理论自信就在于此。

袁萌  5月26日