在ZFC-（AFA）系统中,外延公理不可强大得足以判断两个非良基集合是否相等。因此随着研究范围的扩大,需要新的理论解决新问题。为解决......

在集合论ZFC-＋AFA中，每个图有唯一装饰，每个方程组有唯一解。但是，在集合论ZFC-4-SAFA和ZFC-4-FAFA中，每个图并非只有一个装饰，每个方程......