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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

半壁书屋推荐阅读:上门女婿的咸鱼生活诡盗奇谈法力无边高大仙进球吧!教练我们滔搏有救啦!穿越进传奇,我的爆率百分之三百美女公寓英雄联盟之传奇归来我能看透卡牌的隐藏说明全能游戏设计师第二人格不对劲绝地求生之系统无敌禁区之狐胡莱网游之双星传说梦与录神梦说,我有主角之资王者的脚下潜伏深渊在竞技场毁天灭地绝对搞错了什么穿成侯门主母,我成了京圈白月光重生:杀穿末日游戏洪荒:抱错大腿怎么办?欢迎来到诡梦世界求生游戏:种田是需要耐心的NBA:五双神迹谛造者补天记惹他?他隐藏职业,一人屠一城!离婚后,霸总亲手撕了我的马甲我不想受伤,所以我想专注于防御联盟全能大玩家网游之轮回主宰禁区之狐胡莱免费全文阅读海洋求生:从建设海岛开始竹排求生:我家狗子运气超好三个缩小版大佬带百亿资产上门沈翩枝贺厉存四重分裂主角叫楚剑秋柳天瑶的小说卢米安莉雅小说全本免费阅读我能偷渡洪荒世界英伦足球:斯坦福桥的主宰者末世狩猎人网游:当一个血牛自带成长反伤热血传奇:我才是巅峰商如意宇文愆全文免费网游之最强传说全民转职,开局召唤半兽统领满级力量的我,平趟五大联赛网游之终极盾皇最强宠婚:老婆大人,求翻牌西游之从加入诸天聊天群开始又被电竞狙神带飞了
半壁书屋搜藏榜:网游:天赋太强,游戏开局就维护开局滋崩,我在派派疯狂猎杀!篮坛传奇富豪超能进化:我的兵种有点贵黑境时代西游之从加入诸天聊天群开始英雄联盟之传奇归来我真的不修仙从一级玩家,重新开始全境入侵又被电竞狙神带飞了末日降临之天赋异禀我在火影成立夸夸教玄门大佬混都市网游之我的世界什么叫开挂型射手啊我一个NPC能有什么坏心思穿越三代:开局我火你悔NBA:开局一张三分体验卡超级打工仔万物品鉴系统氪金十亿,游戏开始修为反馈!腹黑王爷又吃醋了我能看透卡牌的隐藏说明掌上娇娇小说全文免费阅读世子妃你又被挖墙脚了云婷君远幽盖世小村医足球生涯:从躺冠到成为传奇孤城重启全民游戏:我能召唤赤月恶魔从贞子开始制作怪谈游戏三无勇者搞事中我在异世无限氪金爽翻天!我靠美食成为全朝首富豪门婚色:总裁娇妻太迷人和平精英之逆风而起吐槽篮球仙帝的自我修养卓简傅衍夜你的情深我不配全文免费阅读大结局阮白慕少凌一胎双宝总裁大人夜夜欢免费阅读全文被龙之队开除,我成了禁区之王次元之王者降临变身萌主播:大神,站住!绝品保镖美总裁三国神话世界序列游戏,从抽取道具开始联盟:开局辅助水子哥魅魔君主网游:什么法师!你爹我是火箭军冒牌职业大神
半壁书屋最新小说:网游:敢惹他?内裤都给你偷没了召唤万界军团史上最贱NPC王者:这个选手,正得发邪游戏降临:从隐藏职业开始封神人在巴黎奥运,班主任催交作业B级天赋,一样可以登顶列车求生:无挂求生nba最强球星詹姆斯哈登夏日狂响曲开局零幸运值?别慌我有任意门校花别撩我,我只想打篮球!NBA:穿越神医变教练带飞姚明网游之独步逍遥让你当王者陪玩,竟把校花泡了?都重生了,还让我从头开始网游之剑界我只是个NPC啊!学生议事录成为领主后,觉醒了进化天赋玩三国志战略版,分币不充闺蜜坑我玩盾卫七零娇娇一撒娇,腹肌硬汉顶不住全英雄绝活,我上分如喝水全民转职:枪炮师弱?我有东风狙升级,升级,还是升级!网游:开局野人,我能无限进化玄幻网球:拒绝系统成为世界最强灵界游戏,当炮灰的我再次重生了NBA:老詹要和我抱团星环游戏人在斗破写日记,薰儿蚌埠住了!斗罗:穿越天斗三皇子,多子多福寻宝:从小镇探险家开始里斯本竞技出道,开启葡萄牙王朝挂机游戏通往异世界进入求生游戏后,变成欧皇了!【网游之永恒】开局召唤精灵公主迷雾世界:我觉醒山海经征服诸天诺克萨斯的荣光绿茵梦之少年热血网游:御剑神刀全民领主:我打小日子就能变强综漫:从尸魂界开始砍穿万界战争雷霆之从成为地狱猫车长开始穿越海岛求生,误惹红发疯批大佬全民网游:我开局五大职业斗罗:武魂千仞雪,震惊比比东暗黑小佣兵NBA最强主教打散N个三巨头