中的标准整数。一个拥有无穷小量的有序域称为非阿基米德的。更一般地说，无穷小分析是任何依赖于非标准模型和传达原理（transfer principle.这个原理指出，把实数域上的一些命题搬到超实数域上仍然是对的。尚未找到此英文术语的通用中译。）的数学。一个域如果满足实数的传达原理，则为超实数域，而实无限分析就是使用这些域作为实数的"非标准模型"。鲁滨逊的原始办法正是基于这些非标准的实数域模型。他那1966出版的的经典奠基作"非标准分析"，在今天仍有印行。为了发展出无穷小量的演算法，必须先解决几个技术问