论文部分内容阅读
我们从两方面介绍集合论的反基础公理(AFA)以及非良基集合的广泛应用。一方面,根据阿克采尔(P.Aczel)的思想,集合可以看做是可达点图,在这个意义上,AFA是说每个图都有唯一的装饰;由此,每个集合都有一个典范图。另一方面,根据巴威斯(J.Barwise)等人的思想,集合可以看做是方程组的解,在这个意义上,