非良基集合论模型悖论 (2009年)

给出一个新的集合论悖论 。用模型论方法证明了非良基性的集合论模型的存在性 。这个模型中存在对∈关系下降的无限元素外序列 。还证明可以存在集合论模型,其中ω,ω1等集合,ON和 N等类的内部都存在对∈关系无限递降的元素外序列 。这种对∈关系是无限递降的外序列还可以插入于一个没有可数共尾的对∈是上升的序列的后面,插入后成为同名集合的一部分 。用这种模型第一次定义并给出了外集合不是内集合的例子 。