数学联邦政治世界观
超小超大

公理化的集合论与罗素悖论的排除 (3-3)

证:设公理8成立,设P(x)为对于任意对象x,P(x)为真,则存在集合{x|P(x) } ,对于任意的对象x,P(x)都为真,所以 对于任意的对象x,x∈{x|P(x) } ,这个集合就是万有集合。

设万有集合O存在,设P(x)为某一关于x的性质,由分离公理,集合{x∈Ο|P(x) } 存在,它满足对任意对象y,

y∈{x∈Ο|P(x) } ⇔ y∈Ο P(y)

那么公理8成立。

所以只要我们能排除万有集合O的存在,就能排除这两种导致罗素悖论的集合。

我们来通过公理1和正则公理和分离公理和公理2和单元素公理来排除万有集合的存在

结论3、如果A是一个集合,那么A∉A .

证:由公理1,因为A是一个集合,则A是一个对象,那么由单元素公理,集合{A} 存在,使得对任意的对象y,

y∈{A} ⇔ y=A。

因为{A} 只有一个元素A,且A是一个集合,由正则公理: A∩{A}=∅

那么A∉A(否则 A∈A A∈{A},那么 A∈A∩{A}=∅ 而这与空集的定义矛盾)

结论4、在公理1、公理2、公理3、公理5、公理6、公理9下万有集合不存在

下面我们来排除万有集合的存在。

设万有集合O存在,即对于任意的对象y,y∈Ο

因为万有集合O是一个集合,那么由公理1,万有集合O也是一个对象

那么Ο∈Ο,这与结论3矛盾,因此万有集合不存在。

因此我们排除了那两种导致罗素悖论的集合的存在。

参考书籍:《陶哲轩实分析》陶哲轩 著 李馨 译 人民邮电出版社‬

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

成龙历险记之小玉重生 连载中
成龙历险记之小玉重生
荒古之界暗影之王
写西玉的,剧情会有一些改变。
0.5万字9个月前
(天乩之白蛇传说)后续 连载中
(天乩之白蛇传说)后续
Hcg:
紫宣,情是什么?你是前世未止的心跳,你是来生胸前的记号.
3.7万字9个月前
羽神传奇 连载中
羽神传奇
醉眼看浮沉
萧辰的头衔有很多,什么“战神”,“奶爸”,“教主”,“废物”,“黑马”等等。但在他自己看来,最契合的只有一个,那就是“愿主”。有人甚至会觉得......
17.2万字9个月前
快穿:系统逼的,男主饶命! 连载中
快穿:系统逼的,男主饶命!
夕艳大大
墨夕颜是一个女孩,醒过来便看到自己所在一个电子般的空间,感觉到自己的记忆有所缺失。  于是便和10.0系统小七穿梭在各个位面攻略男主。  收......
24.3万字9个月前
攻略男主我最行 连载中
攻略男主我最行
池尘
这个系统有点撩啊~
6.6万字9个月前
武战道之晶晶的吻 连载中
武战道之晶晶的吻
黑化凯风
0.0万字9个月前