摘要：避免完成无限引发的悖论的一种动态模型理论，但不需要对公式进行任何翻译。主要采用的是用潜在无限载体集替代实际无限，并通过对全称量词的有限性解释来取代。
作者：Matthias Eberl
论文ID：2208.13732
分类：History and Overview
分类简称：math.HO
提交时间：2022-08-30
PDF 下载： 英文版 中文版pdf翻译中