给出一个新的集合论悖论。用模型论方法证明了非良基性的集合论模 型的存在性。这个模型中存在对∈关系下降的无限元素外序列。还证明可以存 在集合论模型,其中 ω,ω 1 等集合,ON 和 N 等类的内部都存在对∈关系无 限递降的元...更多>>