论文部分内容阅读
在对集合的本质以及集合如何形成的考察中,逻辑学家们产生了一系列的理论:从康托尔的朴素概念,到罗素的类型论中的分层概念,再到策梅罗的累积分层,即迭代的概念。对集合的迭代概念的研究,使我们更好地理解集合的本质以及集合论的发展。在分层理论中衍生出的潜在分层理论把模态逻辑与集合论集合起来,能便于我们理解集合的形成机制。