1965年，美国数学家鲁滨逊用数学数理逻辑证明了可以把实数系扩大为超实数系，在超实数系里包含无穷小和无穷大，从而可以建立无穷小微积分。

        如果对此有兴趣，请访问无穷小微积分专业网站首页查看《非标准分析》中译版即可。

袁萌

2022年05月15日