外延公理相关论文
在ZFC-（AFA）系统中,外延公理不可强大得足以判断两个非良基集合是否相等。因此随着研究范围的扩大,需要新的理论解决新问题。为解决......
在经典的公理化集合论系统ZF中,有一条刻画集合性质的公理。这条公理通常被称作基础公理、良基公理或正则公理,记作FA。在将FA加入......
