​ ​伟大的德国数学家希尔伯特在其代表作“几何基础”公理系统中关于平行线与尔基理德公设的独立性（不含矛盾），预言非阿基米德无穷小的存在性。

​ ​2021年11月，中国人民大学信息学院组织力量翻译“基础微积分”，其中第一次用中文说明了关于无穷小存在性的公理，这是中国数学迈向现代公理化道路上的一次突破。

​ ​为此在中国人民大学校园内举办了一次关于无穷小的庆祝活动。在此期间，为进一步学习基础微积分的理论与思想，我们成立了关于无穷小学习小组。这在我国高校系统中是第一次成立了无穷小学习小组，值得我们赞扬与关注。

袁萌（孙朗宸 代笔） 2022年1月5日

​