非良基集合的域和分类

发布时间：2017-09-04 11:22

  本文关键词：非良基集合的域和分类

  更多相关文章： 正则互摸拟 非良基公理 非良基集合的域 非良基集合的分类

【摘要】：本文介绍正则互模拟理论并比较了正则互模拟的外延性大小,通过对非良基公理之间不相容的条件的讨论,我们进一步比较了由正则互模拟决定的非良基集合域的大小,最后对非良基集合论FAFA、SAFA和AFA中的非良基集合进行了分类。
【作者单位】： 湖南科技学院思政部;中国社科院哲学所;
【关键词】： 正则互摸拟 非良基公理 非良基集合的域 非良基集合的分类
【基金】：2012年国家社科基金项目(互模拟理论的逻辑研究)(12BZX060)的研究成果之一
【分类号】：B81-0
【正文快照】： 1引言为了排除罗素悖论等集合论悖论,学者们借助公理方法对康托尔的理论和方法进行了系统整理,建立起了多种集合论体系,最著名的是ZF集合论。“ZF集合论用基础公理FA来保证所承诺的集合都是良基的。说一个集合X为良基的,是指不能有一个由集合组成的无穷序列X1,X2,...,Xn,...(

【参考文献】

中国期刊全文数据库 前2条

1 姚从军;;非良基公理的本质及其应用[J];湖北大学学报(哲学社会科学版);2012年05期

2 张清宇;循环并不可恶——《恶性循环 :非良基现象的数学 》评介[J];哲学动态;2005年04期

【共引文献】

中国期刊全文数据库 前3条

1 李娜;史t，

本文编号：791239