论文部分内容阅读
近年来,随着科学的发展人们发现循环现象无处不在,它的研究越来越受到人们的关注。为了对各种循环现象做出解释,集合论的研究从良基集合延伸到非良基集合(也叫超集合),在此基础上,论述四种不同的非良基公理及其集合全域:A,S,F,和B,并且讨论了非良基集合在计算机科学、哲学和模态逻辑等领域的广泛应用。