【摘 要】
：
人们通常用康托集合论来判断ZFC系统的合法性,它对集合有两种主要解释：大小限制概念和叠置概念。大小限制概念把一个收集的统一性或客观现实性看作与该收集自身的大小相关,它
【基金项目】
：
2008年国家社科基金“超集、互模拟以及在模态逻辑、计算机科学中的作用研究”资助项目（08BZX049）
论文部分内容阅读
人们通常用康托集合论来判断ZFC系统的合法性,它对集合有两种主要解释：大小限制概念和叠置概念。大小限制概念把一个收集的统一性或客观现实性看作与该收集自身的大小相关,它不能对基公理和幂集公理的存在性提供合法的解释。集合的叠置观点对于集合的形成存在一个时态的限制,它可证明子集公理和幂集公理的合法性,但是它不能为代换公理提供一个解释。对叠置构造强加一个大小限制条件,可以成功地用来解释代换公理,它不能用来说明幂集公理的合法性。结构观点认为一个集合是打开一个可能结构的模式,集合的同一性应该由它们的打开模式的同一性确
其他文献
通过本文，介绍了自己在历史课教学中的几种教学方法：语文教学法、对抗式讨论法、抽签式提问法、知识串联法等。
随着当前社会信息化、网络化技术的发展，给大学英语教学课程改革也带来了新的教学手段和方法。大学英语教学中网络语料库的应用改变了传统大学英语教学模式，使其成为有潜力和多
<正> 句式的运用折射出作者思维的深浅。若在考场作文中巧用比较整齐的语段或句式,就会令阅卷者眼晴为之一亮。比如排比句式,给人的感觉是有气势,有内容,可以看出作者的思维
高等学校学生工作中处理危机是一个重要课题，处理的结果好坏与高校的处境和命运息息相关。本文为更好的处理高校学生工作中的危机。探讨了在高校学生工作危机处理过程中公共关
1．英文电子邮件的基本写作技巧谈到写e-mail．不少同学会说．我经常给我的网友们发电子邮件，这简直是a piece of cake。可不少同学平时给自己的朋友写的电子邮件都没有写作章法。要
<正> 所谓分类讨论的思想就是根据研究对象性质的差异,分不同情况予以讨论、研究.它既是一种重要的数学思想方法,又是一种重要的解题策略.本文以部分中考试题为例说明分类讨
班级决定举行香港知识竞赛．各小组派一名代表参加．要求赛前由各小组用抽签的方式，随机决定参赛人选．
随着现代篮球比赛的日益激烈,一个队如果只追求进攻,一旦遇到防守凶悍的队伍往往会进攻受阻。好的防守是最好的进攻,尤其是要对无球队员的行动给予限制。本文就防守无球队员
本文介绍在设备修理中经常采用的金属加工、焊修、热喷涂、覆镀、胶接、零件表面强化、电解磨削等修理方法以及设备修理技术的选择依据。