手机浏览器扫描二维码访问
第四百七十三章 策梅洛的zf公理系统集合论（第1页）
策梅洛得知这个情况之后，想着手处理这个难题。策梅洛认为，想要解决理发师悖论问题，就需要规范集合论。不能再是按照康托尔的朴素集合论那样简单的进行了。
策梅洛对弗兰克尔说：“理发师的麻烦，摧毁了集合论，那集合公理化这个数学工程是没法做下去了。”
弗兰克尔说：“这个问题确实棘手，但是貌似我们还是可以有办法的。”
策梅洛说：“出现如此大的漏洞，不会那么容易有办法吧？”
弗兰克尔说：“罗素说的理发师问题，这是一个定义上的问题。不是每个数学模型都会有如此儿戏般的定义。我们只要在集合公理上加上一条，不要用类似有理发师悖论的定义了。”
策梅洛说：“废话，我还不知道吗？可问题有其他类型的悖论该怎么办？脆弱的集合论随时都会被各种古怪的话语所摧毁。”
弗兰克尔说：“你都说，古怪的话语，我们只要不要让古怪的话语在其中出现，问题不就解决了？”
策梅洛说：“如果做到这一点，难道是在其中设置一些限制，就像是法律规定一样，不要出现一些东西？”
弗兰克尔说：“当然了，正是有太多怪东西，我们分类铲除不就可以了？”
两个人商量着，根据前人的基础，创立了公理化集合论。其中有九条，这九条有了，任何集合公里都可以建立在这个基础上使用了。其中第二条，直接就排除掉了理发师悖论的问题。
一，外延公理：一个集合是由其元素决定的。两个元素相等则集合相等。
二，分离公理模式：一个公理元素对应的性质同时为真，才能是一个集合。
三，配对公理：两个集合中任意两个元素配对后可以形成一个集合。
四，并集公理：让两个集合元素加起来，形成一个新集合。
五，幂集公理（子集之集公理）：存在以已知集合的一切子集为元素的集合。
前五个集合，消除了可能会出现罗素理发师悖论的可能性。
六，无穷公理：存在归纳集。也就是说，存在一集合x，它有无穷多元素。
七，替换公理模式（置换公理）：也就是说，由F（x）所定义的函数的定义域在T中的时候，那么它的值域可限定在S中。
八，正则公理：也叫基础公理。所有集都是良基集。说明一个集合的元素都具有最小性质，例如，不允许出现x属于x的情况。
前八个是ZF公里，再加上第九个就变成ZFC公理。
九，选择公理：也叫策梅洛公理，对于任意两两不交的集合族，存在集合C，使对所给的族中的每个集合X，集合X与C的交恰好只含一个元素。
喜欢数学心请大家收藏：（）数学心
死神不来了 怪物崽崽和他的怪物监护人 枭鸢 兽世养山君[种田] 夸夸我的神探祖父穿越爹 我在死亡副本当管理员 上流假象 杀了那个妖鬼 迷津蝴蝶 还是修仙吧 攻略对象变成室友后，他不对劲 小仓鼠今天有猫了吗 撩惹疯批顶E，笨蛋少爷他逃了 君为客 穿到虫族和军雌相亲 末世后我成了疯批alpha们的安抚剂 我真没想在过去的年代当学霸 新搬来的邻居 第三十年明月夜 神魔剑玄录
二次元综漫物语
如果能看到一个人对自己的好感度，是否可以让对方喜欢自己？苏羽看了看对自己只有百分之十好感度的雪之下雪乃，答案似乎很明显。如果您喜欢二次元综漫物语，别忘记分享给朋友...
王牌军婚：重生九八俏萌妻
重生前，她作天作地，只想跟他离婚，离婚，还是离婚，直到她遇险，他救她而亡。重生后，她欢天喜地，只想爱他，爱他，好好爱他。只是某人太高冷，怎么办？无妨，她十八般武艺齐上阵，何况还有一个‘狐狸’军师。于是，她一手虐渣，一手撩他，幸福的日子乐开了花。报告，有人向嫂子表白。什么？我慕千城的媳妇也敢抢？来人，把那不长眼的小子给我带来，我要好好的和他聊聊人生。...
一夜欢宠 ：亿万老公你好坏
一夜激情，醒后他说得第一个字就是滚。谁知再次见面，无耻的男人却霸王硬上弓，要她成为他的私人暖炉。他是不言苟笑的商业帝王，禁欲冷情，无人能引得他动容分毫。她被他宠上天，成为人人艳羡的贺家少夫人，可当他的前女友出现的那一刻，她被贬得一文不值。当她自愿离场时，霸道的男人却钳住她的手，没有我的允许，谁敢放你走？...
穿书后，我被丞相大人娇宠了
意外穿书成炮灰，慕容嫣却偏要逆天而行，给黑化大佬轩辕墨送温暖。他因家道中落，不得忍气吞声，却受尽折磨。奈何她似春风拂面，山间甘泉，为他洗涤浊尘。他又怎能允许他的神明沾染铅尘，势必拼尽全力，守护她的一方净土！如果您喜欢穿书后，我被丞相大人娇宠了，别忘记分享给朋友...
虎假警威
罗曼罗兰说，世界上只有一种真正的英雄主义，那就是认清了生活的真相之后，还依然热爱生活。对于林威来说，热爱生活也好，不忘初心也罢，他必须经受金钱和亲情的考验，做一个更优秀的称职的警察！如果您喜欢虎假警威，别忘记分享给朋友...
爷是病娇，得宠着！
关于爷是病娇，得宠着！父亲总是说，徐纺，你怎么不去死呢。因为她6号染色体排列异常，不会饿不会痛，还不会说话。萧轶博士却常说徐纺，你是基因医学的传奇。因为她的视力与听力是正常人类的二十一倍，奔跑弹跳臂力是三十三倍，再生与自愈能力高达八十四倍。周边的人总是说徐纺啊，她就是个怪物。她是双栖生物，能上天，能下水，咬合力不亚于老虎，体温只有二十度，生气时瞳孔会变红。只有江织说阿纺，原来你吃了鸡蛋会醉啊，那我喂你吃鸡蛋好...