作者：Arnon Avron；利伦·科恩

在之前关于该项目的论文中，为提出了不同强度的形式化和机械化集合理论，在这个框架下，一些可预测的可接受理论的力量是探索。在这项工作中，我们首先通过使用通过定义连贯地扩展其理论而不破坏理论的方法它是静态的，或者违反了它所依据的任何原则。然后我们转而在丰富的框架内研究极小值的力量证明无限存在的（断定可接受的）理论套。我们证明了该理论是一种计算理论，在这个意义上它的最小传递模型的每个元素都用它的一些闭式表示条款。（该模型恰好是Jensen层次结构中的第二个宇宙。）然后我们表明，这个最小理论已经足以发展到大部分（如果不是全部）科学应用数学。这个需要将实数集合视为一个适当的类，即：一元谓词，可以通过静态扩展引入到理论中本文第一部分介绍了方法。