时，便使用了无穷小分析中的概念。Albeverio等讨论了此法的一些应用。
无穷小分析的各种建立方法.无穷小分析有两个非常不同的做法：语义学方法或称模型论方法，以及句法学方法。两个办法都能应用于除分析外的其它数学领域，包括数论，代数，和拓扑。用合适的模型可以证明ZFC + IST相对于ZFC的相容性：若ZFC是相容的，则ZFC + IST也是相容的。实际上可以证明更强的命题：ZFC + IST是ZFC的一个保守扩展，也就是说任何经典公式（正确或不正确的！）只要可以在内含集合