及实际的无限小""量""，而以可无限趋近的""程序""取代。1960年代初，德国数学家提出非标准分析，重新回到G·W·莱布尼兹的实无限取径，并以此建构出一个严谨的基础。他写道：鲁滨逊继续说道：有序域"F"中的非零元素称为无穷小量，当且仅当其绝对值小于"F"中任何形如1/"n"的元素，其中"n"为"F"中的标准整数。一个拥有无穷小量的有序域称为非阿基米德的。更一般地说，无穷小分析是任何依赖于非标准模型和传达原理（transfer principle.这个原理指出，把实数域上的一些命题搬到超实数域上