无穷小微积分的时代特征：公理系统导出全部理论

当前，在今年的“两会”期间，我们要说明无穷小微积分的时代特征，开启新征程。

任意一组公理（Axioms），如果自身“相容”，不会推出逻辑矛盾，那么，这组公理系统可能导致一个非空的具有一定意义的‘理论’。该导出的理论所包的“内容”（语义）由公理系统的“不定义”词汇（或符号）决定。

微积分能不能由公理导出？赶上时代？在当今数学发展的现状下，回答这个问题是必须的。历史车坤不能倒转。

我们说，无穷小微积分，还原了微积分的历史原貌，肯定可以“现代化”（即公理化）。这就是今后我们要做的工作。

在我国，微积分下放中学已成定局。如何看待微积分，这不是“儿戏”，要认真对付。

袁萌  3月4日