解决集合论悖论的模态方法研究

ZFC集合论等经典的集合论悖论解决方案,一般是通过限制康托尔不受限概括原则中的给定性质的“任意性”来解悖的。但是弗莱茨等人认为,除了这一路径外,还可以通过限制元素满足给定性质的方式的“任意性”来解决集合论悖论,并建议利用模态算子刻画元素满足给定性质的“特殊方式”。弗莱茨等人给出的这种模态解悖方法本质上是一种修正康托尔不受限概括原则的新方法。