外延公理相关论文
在ZFC-(AFA)系统中,外延公理不可强大得足以判断两个非良基集合是否相等。因此随着研究范围的扩大,需要新的理论解决新问题。为解决......
准悖论的定义:在用反证法证明命题的过程中,如果(与反证法假设相关地)出现A(?)这样的循环矛盾时,则称它为准悖论.l. 一类悖论(或准悖论)......
在经典的公理化集合论系统ZF中,有一条刻画集合性质的公理。这条公理通常被称作基础公理、良基公理或正则公理,记作FA。在将FA加入......