上世纪1948年,EdwinHewitt引进超实数(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日