手机浏览器扫描二维码访问
第四百七十三章 策梅洛的zf公理系统集合论（第1页）
策梅洛得知这个情况之后，想着手处理这个难题。策梅洛认为，想要解决理发师悖论问题，就需要规范集合论。不能再是按照康托尔的朴素集合论那样简单的进行了。
策梅洛对弗兰克尔说：“理发师的麻烦，摧毁了集合论，那集合公理化这个数学工程是没法做下去了。”
弗兰克尔说：“这个问题确实棘手，但是貌似我们还是可以有办法的。”
策梅洛说：“出现如此大的漏洞，不会那么容易有办法吧？”
弗兰克尔说：“罗素说的理发师问题，这是一个定义上的问题。不是每个数学模型都会有如此儿戏般的定义。我们只要在集合公理上加上一条，不要用类似有理发师悖论的定义了。”
策梅洛说：“废话，我还不知道吗？可问题有其他类型的悖论该怎么办？脆弱的集合论随时都会被各种古怪的话语所摧毁。”
弗兰克尔说：“你都说，古怪的话语，我们只要不要让古怪的话语在其中出现，问题不就解决了？”
策梅洛说：“如果做到这一点，难道是在其中设置一些限制，就像是法律规定一样，不要出现一些东西？”
弗兰克尔说：“当然了，正是有太多怪东西，我们分类铲除不就可以了？”
两个人商量着，根据前人的基础，创立了公理化集合论。其中有九条，这九条有了，任何集合公里都可以建立在这个基础上使用了。其中第二条，直接就排除掉了理发师悖论的问题。
一，外延公理：一个集合是由其元素决定的。两个元素相等则集合相等。
二，分离公理模式：一个公理元素对应的性质同时为真，才能是一个集合。
三，配对公理：两个集合中任意两个元素配对后可以形成一个集合。
四，并集公理：让两个集合元素加起来，形成一个新集合。
五，幂集公理（子集之集公理）：存在以已知集合的一切子集为元素的集合。
前五个集合，消除了可能会出现罗素理发师悖论的可能性。
六，无穷公理：存在归纳集。也就是说，存在一集合x，它有无穷多元素。
七，替换公理模式（置换公理）：也就是说，由F（x）所定义的函数的定义域在T中的时候，那么它的值域可限定在S中。
八，正则公理：也叫基础公理。所有集都是良基集。说明一个集合的元素都具有最小性质，例如，不允许出现x属于x的情况。
前八个是ZF公里，再加上第九个就变成ZFC公理。
九，选择公理：也叫策梅洛公理，对于任意两两不交的集合族，存在集合C，使对所给的族中的每个集合X，集合X与C的交恰好只含一个元素。
喜欢数学心请大家收藏：（）数学心
请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。
攻略对象变成室友后，他不对劲 兽世养山君[种田] 我真没想在过去的年代当学霸 第三十年明月夜 怪物崽崽和他的怪物监护人 神魔剑玄录 小仓鼠今天有猫了吗 穿到虫族和军雌相亲 末世后我成了疯批alpha们的安抚剂 杀了那个妖鬼 枭鸢 迷津蝴蝶 我在死亡副本当管理员 夸夸我的神探祖父穿越爹 死神不来了 还是修仙吧 君为客 新搬来的邻居 上流假象 撩惹疯批顶E，笨蛋少爷他逃了
病娇相爷以权谋妻
关于病娇相爷以权谋妻摄政长公主权势滔天，野心勃勃，手段毒辣，所以活该被至亲谋杀，尸骨无存？重生到闲散王爷府上，凤执表示很满意，白捡了几年青岁，郡主身份悠闲自在，还有个未婚夫婿俊美出尘。本想悠闲过一生，然而山河动荡皇权争斗，终究是躲不过权力倾轧。鲜衣铠甲，华裳锦绣，她千方百计谋夺权势，终于大权在握，登临帝位。为国为民？不，她要后宫三千，美男任选。龙椅旁的相爷‘不小心’扯开衣襟，露出她的罪证，‘三千美男’瑟瑟发抖，谁敢...
逆袭从欢乐颂樊胜美开始
扑街写手兼单身狗的庄自强做梦也没想到自己居然会穿越到欢乐颂剧情里变成了拜金女樊胜美。系统你好歹讲点道理，别人穿越变有钱变帅，怎么轮到我穿越就变性了？不过没关系，还好完成任务可以回到现实。然后，还能顺便还能获得奖励？那我岂不是发达了？这种剧情请再我给来一沓！真香！等等，不对。这剧情展开不对！狗系统，你想害老子！如果您喜欢逆袭从欢乐颂樊胜美开始，别忘记分享给朋友...
重生嫡女打脸日常
...
英雄联盟之无敌升级
关于英雄联盟之无敌升级超级爽文，火热追读携带英雄联盟无敌系统穿越到强者横行的异界，从此装逼之路大开！啥是无敌系统？就是只有你想不到，没有它做不到！真的，真的不是一般的杀怪升级哦！继英雄联...
总裁每天都在碰壁
新婚第二天，祁家少奶奶被夺走清白后，被新郎亲手送进监狱三年青春耗尽，出狱后以为能重新开始生活，却再次被他带走！祁连野，你不怕我报复你吗？你不敢。她被软禁起来为他治病，却用尽全力只想逃到另外的男人那里。该死，莫向暖你要是敢给我戴绿帽子，我能送你进监狱第一次，也能送进去第二次！她冷笑，祁连野，我在你心里到底算什么？他决绝，你，不在。当一切真相被揭开，祁连野这辈子终于知道什么叫傻眼！呃那个老婆，我能收回我以前说的话吗？...
异世荒野直播
我曾生活在巨树遮天的魔兽雨林，将黄金比蒙正面斩杀，也曾穿越过尸气弥漫的腐烂之地，与死亡骑士并肩而行我曾潜伏在烈焰升腾的熔火之城，偷取钢铁魔像的动力核心，也曾混迹在似真似幻的元素位面，骑着土元素领主周游世界我叫凌默，是一名武道大师，现在，我正在深渊位面为您直播，看看我身后这岩浆密布的荒原，老实说空气中刺鼻的硫磺气息实在太糟糕了，但我等等！前面好像有一只巴罗格！巴罗格体格健壮，营养丰富，可以为我提供好几天的能量所需，只要去掉头，其他部分都可以食用，嘿嘿！嘿嘿嘿！如果您喜欢异世荒野直播，别忘记分享给朋友...