集合论的反基础公理

摘要：

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

机标关键词：反基础公理、集合论

分类号：B81(逻辑学(论理学))

在线出版日期：2011-03-30（万方平台首次上网日期，不代表论文的发表时间）

页码：100-105