论文标题
无限不是大小
Infinity is Not a Size
论文作者
论文摘要
我们提出了一种动态模型理论，该理论避免了由于完成的无限态度而引起的悖论，但不需要任何公式的翻译。主要采用是用潜在的无限载体设置的实际无限载体以及对通用量化器的有限解释。
We present a dynamic model theory that avoids the paradoxes stemming from completed infinities, but does not require any translation of formulae. The main adoption is the replacement of an actual infinite carrier set by a potential infinite one, and by a finitistic interpretation of the universal quantifier.
