完整的全体
摘要：关于集合的累积层次概念基于从“先前”集合归纳生成集合的概念，通常被认为是创建一个看似安全的集合概念的好方法。这对集合施加了两个限制。一个是“尺寸限制”，另一个是拒绝非良基集。奎因的NF公理系统没有这两个限制，但它在其包含公理模式中具有允许公式的形式限制，这反映了元素先于集合的类似概念。在这里，我们提出集合悖论的一个可能原因是我们将集合视为通过想象的聚合运算符由元素形成的实体，而又希望将集合视为“立即存在”。我们提出了一种基于“并发聚合”概念的集合的新方法，它不是避免“粘性循环”，而是承认了某些谓词的固有循环性，并提供了一种表征和研究这些循环性的方法。
作者：Rafi Shalom
论文ID：1107.3519
分类：History and Overview
分类简称：math.HO
提交时间：2011-11-16