王朝百科
分享
 
 
 

罗素公理体系

王朝百科·作者佚名  2010-09-18  
宽屏版  字体: |||超大  

罗素悖论产生的原因,是把真类当成集合。

可以说,罗素公理体系在两方面避免罗素悖论:第一,不存在包含自身的集合(包含自身的类是真类)。第二,“所有”集合的总体不是集合!而是一个真类。因为“所有”一词,包含了自身。

以书目悖论为例,根据罗素公理体系,所有符合条件的书的确构成了一个集合,因为它们可以与其它的书进一步构成更大的整体(集合的定义)--比如它们和不符合条件的书共同构成了图书馆里所有的书(类)。问题“这本书要记下自己的书名吗?”,即是,它包含自己吗?已经没有回答的意义。因为根据内涵定义,不存在包含真类的集合。所以实物上不存在里面提到的那一本目录书(也有人认为那是一个非法的集合,一个集合要包含自身,但又要和集合内其它元素相区别,是不可能的)。但注意,这一抽象概念却是存在的,它是一个真类。

在理发师悖论里,理发师其实划出了一个真类。如果理发师修改一下自己的说法:“除了我理发师本人之外,我给所有不给自己理发的人理发”,悖论就被避免了。因为理发师此时定义了一个集合(根据声明,他不在自己定义的服务群里)。

注意:罗素公理体系只是“避免”了罗素悖论,并没有解决罗素悖论。罗素公理体系的提出,是保证不产生悖论,又要求这些公理的范围足够宽,能容纳全部数学。就是说要给数学提供足够的集合。

 
 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
如何用java替换看不见的字符比如零宽空格​十六进制U+200B
 干货   2023-09-10
网页字号不能单数吗,网页字体大小为什么一般都是偶数
 干货   2023-09-06
java.lang.ArrayIndexOutOfBoundsException: 4096
 干货   2023-09-06
Noto Sans CJK SC字体下载地址
 干货   2023-08-30
window.navigator和navigator的区别是什么?
 干货   2023-08-23
js获取referer、useragent、浏览器语言
 干货   2023-08-23
oscache遇到404时会不会缓存?
 干货   2023-08-23
linux下用rm -rf *删除大量文件太慢怎么解决?
 干货   2023-08-08
刀郎新歌破世界纪录!
 娱乐   2023-08-01
js实现放大缩小页面
 干货   2023-07-31
生成式人工智能服务管理暂行办法
 百态   2023-07-31
英语学习:过去完成时The Past Perfect Tense举例说明
 干货   2023-07-31
Mysql常用sql命令语句整理
 干货   2023-07-30
科学家复活了46000年前的虫子
 探索   2023-07-29
英语学习:过去进行时The Past Continuous Tense举例说明
 干货   2023-07-28
meta name="applicable-device"告知页面适合哪种终端设备:PC端、移动端还是自适应
 干货   2023-07-28
只用css如何实现打字机特效?
 百态   2023-07-15
css怎么实现上下滚动
 干货   2023-06-28
canvas怎么画一个三角形?
 干货   2023-06-28
canvas怎么画一个椭圆形?
 干货   2023-06-28
canvas怎么画一个圆形?
 干货   2023-06-28
canvas怎么画一个正方形?
 干货   2023-06-28
中国河南省郑州市金水区蜘蛛爬虫ip大全
 干货   2023-06-22
javascript简易动态时间代码
 干货   2023-06-20
感谢员工的付出和激励的话怎么说?
 干货   2023-06-18
 
>>返回首页<<
 
 
静静地坐在废墟上,四周的荒凉一望无际,忽然觉得,凄凉也很美
© 2005- 王朝网络 版权所有