非良基公理和非良基集合论的域_《湖南科技大学学报(社会科学版)》

摘要：

【摘要】正则互模拟是非良基公理和非良基集合论形成的基础，基于正则互模拟形成了一簇非良基公理。定义了三种正则互模拟≌＊、≌t 和≡V0，由它们生成的非良基公理AFA≌＊、AFA≌t和AFA≡V0与经典的非良基公理FAFA、SAFA 和AFA 分别等价; 非良基公理FAFA 和AFA 位于非良基公理簇的两端，SAFA 处于FAFA 和AFA 之间; 非良基公理FAFA、SAFA 和AFA 两两不相容; 与非良基公理FAFA、SAFA、AFA 相对应的外延力依次增强，而相对应的非良基集合论的域依次缩小。
【关键词】正则互摸拟; 非良基公理; 非良基集合

引言：

【引言】定义1． 1 一个图由一个结点集和一个边集组成，每一条边都是一个由结点组成的序对＜ n，n' ＞。如果＜ n，n' ＞是一条边，那么我们写成n→n'并且说n'是n 的后继，n 是n'的前驱。一条路径是一个由边＜ n0，n1 ＞，＜ n1，n2 ＞，……连接的、由结点n0，n1，n2，……组成的有穷或无穷序列n0→n1→ n2…; 一个点图是一个带一可区分结点的图，这一可区分结点称为该图的始点; 一个点图是可达的仅当对于每个结点n 都有一个从该图的始点n0到结点n 的路径n0→n1→ …→ n［1］4。

作者：

姚从军

作者单位：

湖南科技学院思政部；中国社会科学院哲学所