无穷小微积分是ZFC大花园的一颗奇葩

    上世纪1948年，Edwin Hewitt

引进超实数（Hyperreals）；1960年，Wilhelmus Luxemburg借助“超幂”构造出超实数，将超实数引入ZFC大花园。

至此，Abraham Robinson's non-standard analysis（非标准分析） does not need any axioms beyond Zermelo–Fraenkel set theory (ZFC)。

这就是说，无穷小微积分不需要在ZFC公理系统之外寻求新的公理。

至此，菲氏微积分的徒子徒孙应该服气了。

1978年，袁萌利用布尔巴基的超滤器构造出超实数。

袁萌 12月7日