手机浏览器扫描二维码访问
第四百七十三章 策梅洛的zf公理系统集合论（第1页）
策梅洛得知这个情况之后，想着手处理这个难题。策梅洛认为，想要解决理发师悖论问题，就需要规范集合论。不能再是按照康托尔的朴素集合论那样简单的进行了。
策梅洛对弗兰克尔说：“理发师的麻烦，摧毁了集合论，那集合公理化这个数学工程是没法做下去了。”
弗兰克尔说：“这个问题确实棘手，但是貌似我们还是可以有办法的。”
策梅洛说：“出现如此大的漏洞，不会那么容易有办法吧？”
弗兰克尔说：“罗素说的理发师问题，这是一个定义上的问题。不是每个数学模型都会有如此儿戏般的定义。我们只要在集合公理上加上一条，不要用类似有理发师悖论的定义了。”
策梅洛说：“废话，我还不知道吗？可问题有其他类型的悖论该怎么办？脆弱的集合论随时都会被各种古怪的话语所摧毁。”
弗兰克尔说：“你都说，古怪的话语，我们只要不要让古怪的话语在其中出现，问题不就解决了？”
策梅洛说：“如果做到这一点，难道是在其中设置一些限制，就像是法律规定一样，不要出现一些东西？”
弗兰克尔说：“当然了，正是有太多怪东西，我们分类铲除不就可以了？”
两个人商量着，根据前人的基础，创立了公理化集合论。其中有九条，这九条有了，任何集合公里都可以建立在这个基础上使用了。其中第二条，直接就排除掉了理发师悖论的问题。
一，外延公理：一个集合是由其元素决定的。两个元素相等则集合相等。
二，分离公理模式：一个公理元素对应的性质同时为真，才能是一个集合。
三，配对公理：两个集合中任意两个元素配对后可以形成一个集合。
四，并集公理：让两个集合元素加起来，形成一个新集合。
五，幂集公理（子集之集公理）：存在以已知集合的一切子集为元素的集合。
前五个集合，消除了可能会出现罗素理发师悖论的可能性。
六，无穷公理：存在归纳集。也就是说，存在一集合x，它有无穷多元素。
七，替换公理模式（置换公理）：也就是说，由F（x）所定义的函数的定义域在T中的时候，那么它的值域可限定在S中。
八，正则公理：也叫基础公理。所有集都是良基集。说明一个集合的元素都具有最小性质，例如，不允许出现x属于x的情况。
前八个是ZF公里，再加上第九个就变成ZFC公理。
九，选择公理：也叫策梅洛公理，对于任意两两不交的集合族，存在集合C，使对所给的族中的每个集合X，集合X与C的交恰好只含一个元素。
喜欢数学心请大家收藏：（）数学心
鬼灭RPG为美好的世界献上帝君 肥妃有福，双面王爷倾世妃 我当过的炮灰都成了宠文男主[快穿] 本座的猫儿师尊 我说今夜无神，于是众神陨落 宗门全是美强惨，小师妹是真疯批 盛宠拽后：本宫就爱戏诸王 我把皇子养歪了 快穿之大佬总是在撩我 告白未果，我决定做回低调逆袭者 BOSS伪装白莲花女主杀疯了 [穿书]男主他想弄死我+番外 当绿茶反派男配想上位 白夜（重生） [综影视同人] 炮灰终结者 [HP同人] 隐藏在霍格沃茨当教授 忠犬影卫饲养法则 [咒回同人] 全员术师 成就华流天王，从历经生死战开始 重生后她燃炸了
无良交易
老天爷你瞎了眼，居然用雷劈我？本来是个假半仙的乐天居被雷劈成真半仙，也开启了他精彩的世界。美女金钱权利，要啥有啥的生活实在太爽了...
极品大太监
贪财好色但却精通书法书画的典当行小职员梁薪穿越到北宋深宫之中成为一名没有净身的小太监。一方面梁薪惑乱宫闱，另一方面他又深得皇上赵佶的信任，成为皇宫太监第一人。...
斗罗大陆之王者归来
他们毕业于史莱克学院，是被长辈老师喜爱的孩子。他们被世人称为史莱克七怪，是同辈甚至长辈羡慕的天才。他们一同升入神界，七人一同在神界生活千年。原本平凡无聊的日子被神王打破。他们终于回到了斗罗大陆。可是神界之外，真的没有让他们而恐惧的对手吗。唐三，真的仅仅是唐三而已吗。...
农女有田超给力
穿成农家好吃懒做，丑胖自私的反派小姑子，住的差，吃不饱，声名狼藉，白瑾梨表示压力很大。还好极品亲娘宠她，包子哥嫂听她话，侄子侄女拿她当老大，又有空间在手，发家致富，改变自己，和谐全家妥妥的，只是这个刚出现就险些被她害了的男人为何看着怪怪的，一开始想杀她，后来天天想跟她在一起？重生后的林沉渊满心困惑他的媳妇不是很差劲吗？为何现在如此优秀？这是一个穿越女遇上重生男，最后相濡以沫，白头到老的甜宠文！...
星空下的幻想
新书天启已上传，望大家多多支持哈。－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－大家没事可以加群170688012讨论交流。...
靳总,别傲娇靳寒嵊
海城市关于靳寒嵊的传闻有很多，心狠手辣阴晴不定但是没有人知道，靳寒嵊心里有一道白月光，并且经年不忘。然而，再次相见时，那个女人挽着他弟弟的胳膊。他挡在她面前ldquo想要一步登天，要找到合适的人，他给不了你想要的。rdquo她微笑着摇摇头ldquo靳总误会了，我没有那么大的野心。rdquo为了逼她就范，他一步一步切断她所有的退路。最后，她只能找上门求他。各位书友要是觉得靳总别傲娇靳寒嵊还不错的话请不要忘记向您QQ群和微博里的朋友推荐哦！靳总别傲娇靳寒嵊最新章节靳总别傲娇靳寒嵊无弹窗靳总别傲娇靳寒嵊全文阅读...