半壁书屋 通过搜索各大小说站为您自动抓取各类小说的最快更新供您阅读!

策梅洛得知这个情况之后,想着手处理这个难题。策梅洛认为,想要解决理发师悖论问题,就需要规范集合论。不能再是按照康托尔的朴素集合论那样简单的进行了。

策梅洛对弗兰克尔说:“理发师的麻烦,摧毁了集合论,那集合公理化这个数学工程是没法做下去了。”

弗兰克尔说:“这个问题确实棘手,但是貌似我们还是可以有办法的。”

策梅洛说:“出现如此大的漏洞,不会那么容易有办法吧?”

弗兰克尔说:“罗素说的理发师问题,这是一个定义上的问题。不是每个数学模型都会有如此儿戏般的定义。我们只要在集合公理上加上一条,不要用类似有理发师悖论的定义了。”

策梅洛说:“废话,我还不知道吗?可问题有其他类型的悖论该怎么办?脆弱的集合论随时都会被各种古怪的话语所摧毁。”

弗兰克尔说:“你都说,古怪的话语,我们只要不要让古怪的话语在其中出现,问题不就解决了?”

策梅洛说:“如果做到这一点,难道是在其中设置一些限制,就像是法律规定一样,不要出现一些东西?”

弗兰克尔说:“当然了,正是有太多怪东西,我们分类铲除不就可以了?”

两个人商量着,根据前人的基础,创立了公理化集合论。其中有九条,这九条有了,任何集合公里都可以建立在这个基础上使用了。其中第二条,直接就排除掉了理发师悖论的问题。

一,外延公理:一个集合是由其元素决定的。两个元素相等则集合相等。

二,分离公理模式:一个公理元素对应的性质同时为真,才能是一个集合。

三,配对公理:两个集合中任意两个元素配对后可以形成一个集合。

四,并集公理:让两个集合元素加起来,形成一个新集合。

五,幂集公理(子集之集公理):存在以已知集合的一切子集为元素的集合。

前五个集合,消除了可能会出现罗素理发师悖论的可能性。

六,无穷公理:存在归纳集。也就是说,存在一集合x,它有无穷多元素。

七,替换公理模式(置换公理):也就是说,由F(x)所定义的函数的定义域在t中的时候,那么它的值域可限定在S中。

八,正则公理:也叫基础公理。所有集都是良基集。说明一个集合的元素都具有最小性质,例如,不允许出现x属于x的情况。

前八个是ZF公里,再加上第九个就变成ZFc公理。

九,选择公理:也叫策梅洛公理,对于任意两两不交的集合族,存在集合c,使对所给的族中的每个集合x,集合x与c的交恰好只含一个元素。

半壁书屋推荐阅读:莽穿异世界异类玩家的自我修养撩妹军师如懿传卫嬿婉重生之浴血而归给将军送粮后,竟成了我的小娇夫【综漫】我不是XXXEXO之故事的恶女上门女婿的咸鱼生活假太监:永寿宫偷吃,撞破皇帝女儿身红楼之林家有嫡子开局就被赶出豪门白蔹宋泯三生三世梦彻骨四合院:刘家长子刘光齐还珠之情深似海我在全息武侠游戏里种田四合院:傻柱重生,收养破局汉儿不为奴诡盗奇谈融入精灵世界法力无边高大仙进球吧!教练来自蓝星的乐子人删号回村后,我好像变坏了我们滔搏有救啦!足球:系统调试了两年半穿越进传奇,我的爆率百分之三百美女公寓英雄联盟之传奇归来我能看透卡牌的隐藏说明全能游戏设计师第二人格不对劲绝地求生之系统无敌禁区之狐胡莱神秀之主倾世医妃要休夫双脑医龙奥特:震惊!希卡利隐藏的阴谋梦与录神梦说,我有主角之资王者的脚下潜伏深渊在竞技场毁天灭地绝对搞错了什么穿成侯门主母,我成了京圈白月光白夜之神启重生:杀穿末日游戏洪荒:抱错大腿怎么办?欢迎来到诡梦世界求生游戏:种田是需要耐心的NBA:五双神迹谛造者补天记纯情校医
半壁书屋搜藏榜:网游:天赋太强,游戏开局就维护开局滋崩,我在派派疯狂猎杀!篮坛传奇富豪超能进化:我的兵种有点贵黑境时代西游之从加入诸天聊天群开始英雄联盟之传奇归来我真的不修仙从一级玩家,重新开始全境入侵又被电竞狙神带飞了末日降临之天赋异禀我在火影成立夸夸教玄门大佬混都市网游之我的世界什么叫开挂型射手啊我一个NPC能有什么坏心思穿越三代:开局我火你悔NBA:开局一张三分体验卡葬送的芙莉莲:永恒之旅超级打工仔趣谈百家姓原神:在提瓦特养老加入了聊天群万物品鉴系统氪金十亿,游戏开始修为反馈!腹黑王爷又吃醋了我能看透卡牌的隐藏说明掌上娇娇小说全文免费阅读世子妃你又被挖墙脚了云婷君远幽盖世小村医网游:我觉醒了两个隐藏职业足球生涯:从躺冠到成为传奇孤城重启全民游戏:我能召唤赤月恶魔从贞子开始制作怪谈游戏三无勇者搞事中我在异世无限氪金爽翻天!我靠美食成为全朝首富豪门婚色:总裁娇妻太迷人和平精英之逆风而起吐槽篮球仙帝的自我修养卓简傅衍夜你的情深我不配全文免费阅读大结局阮白慕少凌一胎双宝总裁大人夜夜欢免费阅读全文被龙之队开除,我成了禁区之王次元之王者降临变身萌主播:大神,站住!绝品保镖美总裁三国神话世界序列游戏,从抽取道具开始
半壁书屋最新小说:LOL:开局中单被限制出境红色绿茵场:红魔密码重生之我在沈阳一人之下:开局蛙崽带回魔神吕布倒霉的我成为野怪后却十分幸运辐射海求生,从小木筏到黑珍珠号王老五修仙记传颂之名海上冰路,我能召唤空投物资管够全职体校:国家队全是我的学生浣碧在钮祜禄氏做嫡女华夏神农虫族上将的雄主脾气不好科幻武侠之星际剑侠传穿越之盛世医妃林晚第五人格:各自安好超神之签到崛起入住黄金庭院后,爱莉拉我直播斩神:我的发小会甩锅眉庄:纯元不死你等不过尔尔星铁:开局骷髅,被银狼捡走我若为星君为月反派宝贝眼一红!各路大佬哄慌了直男超甜,男主疯狂献上女主剧本哪吒之魔童闹海:传奇重生边水猜叔,掌心的玫瑰区区如懿,打就打了带系统的糖糖全民游戏化,只有我唯一职业对强取豪夺者强取豪夺与donk的CS2之旅全息挑战:大学生无限求生游戏火影之宇智波多子多福风流短跑之神从梦幻西游开始的游戏人生原神:更新后手机连接了提瓦特云闪富的生命盲盒之旅星轨战纪:全能指挥官文案馆全剧终主人轻点罚,十七还不够听话吗地下城重生:冷言的逆袭联盟:重生韩国女主播,爆火全网HP:斯莱特林贫困生青春怎么选都有遗憾网游之刀问江湖逆天装备HP就你叫伏地魔?黑魔王?这也不够黑啊韩娱:南柯一梦独宠敌国质子,病弱太子颠覆朝堂新还珠格格之人儿归家