Task: Question Generation
Input (Chinese): 超实数系统是为了严格处理无穷量（无穷大量和无穷小量）而提出的。自从微积分的发明以来，数学家、科学家和工程师等（包括牛顿和莱布尼兹在内）就一直广泛地用无穷小量等概念。超实数集，或称为非标准实数集，记为formula_1，是实数集  的一个扩张；其中含有一种数，它们大于所有如下形式的数：formula_2这可以解释为无穷大；而它们的倒数就作为无穷小量。 满足如下性质：任何关于  的一阶命题如果成立，则对  也成立。这种性质称为传达原理。举例来说，实数集的加法交换律是关于  的一阶命题。因此以下命题同样成立：也就是说超实数集同样满足加法交换律。无穷小量的概念是否严格呢？此问题可以追溯到古希腊数学：数学家们如欧几里得、阿基米德等，为了在一些证明里绕开无穷小量的争议以保证严格性，而采用了穷竭法等其它说明方式。而亚伯拉罕·鲁滨逊在1960年代证明了，换句话说，如果对实数的使用没有怀疑，那也可以放心使用超实数。在处理数学分析的问题时对超实数、尤其是传达原理的使用，通称为非标准分析。
Output (Chinese): 什么是超实数系统？