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

公理化的集合论与罗素悖论的排除 (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.4万字9个月前
精灵世 连载中
精灵世
暮鹤bonjour
3.5万字9个月前
恐怖躲猫猫:天明以前 连载中
恐怖躲猫猫:天明以前
鹅饼饼子
午夜开始,黎明结束嘘,他,离我们近了一点哦来了嘛,就不要走了我和我的玩偶们诚邀你一直留在这里来一场直至心跳停止才结束的游戏
10.3万字9个月前
万里梦江湖 连载中
万里梦江湖
箫声断梦,琴声孤掌
此身虽不系,忧道亦劳生。万里江湖梦,千山雨雪行。人家依旧垒,关路闭层城。未尽交河虏,犹屯细柳兵。艰难嗟远客,栖托赖深情。贫病吾将有,精修许少......
46.9万字9个月前
浮生有梦:水中月 连载中
浮生有梦:水中月
轻紫凝烟
闷骚修仙继承人X娇俏人鱼小郡主“我会以你爱我的方式爱你。”“愿你梦醒之时,仍记得我。”
13.0万字9个月前
十二星座:幻想嘉年华 连载中
十二星座:幻想嘉年华
温迪v
剧情?你猜猜(妈妈说,透剧不是好孩子)
0.8万字9个月前