非良基集合的域和分类.pdfVIP

逻辑学研究 2014 年第2 期，39–61 文章编号：1674-3202(2014)-02-0039-23 非良基集合的域和分类* 姚从军 湖南科技学院思政部 中国社科院哲学所 yaocongjun@126.com 摘 要：本文介绍正则互模拟理论并比较了正则互模拟的外延性大小，通过对非良基 公理之间不相容的条件的讨论，我们进一步比较了由正则互模拟决定的非良基集合域 的大小，最后对非良基集合论FAFA、SAFA 和AFA 中的非良基集合进行了分类。 关键词：正则互摸拟；非良基公理；非良基集合的域；非良基集合的分类 中图分类号：B81 文献标识码：A 1 引言 为了排除罗素悖论等集合论悖论，学者们借助公理方法对康托尔的理 论和方法进行了系统整理，建立起了多种集合论体系，最著名的是ZF 集合 论。“ZF 集合论用基础公理FA 来保证所承诺的集合都是良基的。说一个集合 为良基的，是指不能有一个由集合组成