手机浏览器扫描二维码访问
第四百七十三章 策梅洛的zf公理系统（集合论）（第1页）
策梅洛得知这个情况之后，想着手处理这个难题。策梅洛认为，想要解决理发师悖论问题，就需要规范集合论。不能再是按照康托尔的朴素集合论那样简单的进行了。
策梅洛对弗兰克尔说：“理发师的麻烦，摧毁了集合论，那集合公理化这个数学工程是没法做下去了。”
弗兰克尔说：“这个问题确实棘手，但是貌似我们还是可以有办法的。”
策梅洛说：“出现如此大的漏洞，不会那么容易有办法吧？”
弗兰克尔说：“罗素说的理发师问题，这是一个定义上的问题。不是每个数学模型都会有如此儿戏般的定义。我们只要在集合公理上加上一条，不要用类似有理发师悖论的定义了。”
策梅洛说：“废话，我还不知道吗？可问题有其他类型的悖论该怎么办？脆弱的集合论随时都会被各种古怪的话语所摧毁。”
弗兰克尔说：“你都说，古怪的话语，我们只要不要让古怪的话语在其中出现，问题不就解决了？”
策梅洛说：“如果做到这一点，难道是在其中设置一些限制，就像是法律规定一样，不要出现一些东西？”
弗兰克尔说：“当然了，正是有太多怪东西，我们分类铲除不就可以了？”
两个人商量着，根据前人的基础，创立了公理化集合论。其中有九条，这九条有了，任何集合公里都可以建立在这个基础上使用了。其中第二条，直接就排除掉了理发师悖论的问题。
一，外延公理：一个集合是由其元素决定的。两个元素相等则集合相等。
二，分离公理模式：一个公理元素对应的性质同时为真，才能是一个集合。
三，配对公理：两个集合中任意两个元素配对后可以形成一个集合。
四，并集公理：让两个集合元素加起来，形成一个新集合。
五，幂集公理(子集之集公理)：存在以已知集合的一切子集为元素的集合。
前五个集合，消除了可能会出现罗素理发师悖论的可能性。
六，无穷公理：存在归纳集。也就是说，存在一集合x，它有无穷多元素。
七，替换公理模式（置换公理）：也就是说，由F（x）所定义的函数的定义域在T中的时候，那么它的值域可限定在S中。
八，正则公理：也叫基础公理。所有集都是良基集。说明一个集合的元素都具有最小性质，例如，不允许出现x属于x的情况。
前八个是ZF公里，再加上第九个就变成ZFC公理。
九，选择公理：也叫策梅洛公理，对于任意两两不交的集合族，存在集合C，使对所给的族中的每个集合X，集合X与C的交恰好只含一个元素。
喜欢数学心请大家收藏：()数学心
九州仙子录
大齐国都禁宫深处，御书房内。当今圣上唐晨身着黑玄色外衣，心情愉悦地批阅奏章，殿外侯着一群侍卫，而身旁就只留下了一个亲近的太监。小会，却是扔下了奏章，道“明天把折子全打回去，让他们继续吵，吵的越凶朕就越能看得清这帮人。”內监总管刘喜儿依旧一副不悲不喜的死人脸，回了声是。片刻之后，齐皇在龙椅之上抻了个懒腰，脸上挂上了淫邪的笑容，拨弄桌案上的铃铛，“刘喜儿，宣寒冰仙进殿。”...
拳皇：雄霸天下
进入拳皇世界，却发现自己是一个奇怪的身份。还没走出新手村，就遭遇了美女的追杀。好不容易脱险后，又面临新的抉择。是选择不知火舞还是马丽？是板崎百合还是琼？是雅典娜还是神乐千鹤？呵呵，小孩子才做选择。当肖含受邀进入拳皇元宇宙进行辅助建模时，却发现了系统的漏洞，通过赢得拳皇世界里的女格斗家，可以获得真实世界的模仿能力，而......
变身欲女之林媚儿
曾经是一个男人的我变身为g杯白虎美少女！被调教之后开始自己被主人、爹地、男时的好兄弟、堂弟、男友父亲……的淫乱人生。...
重生之深海皇冠
附：【本作品来自互联网,本人不做任何负责】内容版权归作者所有!重生之深海皇冠作者：悠梦依然类别:耽美小说-光怪陆离作品关键字：海神，人鱼，黑帝斯，重生【《重生之凤族圣子》已经完结，新坑《重生神座之月神》】【人鱼文】前世，他是沧海中的一粟，普通而又平凡。今生，他是蔚蓝海底苏醒过来的皇者，掌控着大海的喜怒哀乐，翻云...
十里芳菲
昆仑有两宝，一宝玄天境，可预知百年，一宝卫轻蓝，少年天才，承宗门重任。昆仑将这两宝护的紧，跟眼珠子一般。江离声是个修炼废柴，什么都会，什么都不精通，哪一种道，她也修不好，这也就罢了，偏偏她还是个惹事儿精，将宗门上下搅的日夜不得安宁。她师傅护犊子，在她引起众怒，众人发誓要将她踢出宗门时，直接将她送去了昆仑，美其名曰：......
倾世凰权御乾坤
我姓田，本是富家千金，家道中落受尽欺辱，被当作废柴。实则我是扮猪吃虎的真学霸，在困境中凭借现代知识在古代运用重建家园，在这个过程中与程姓男主相遇，他是个热血且有野心的天才，我二人经历真假合作、气运争夺等事，一路与反派斗智斗勇，我收服各方势力，最终走向女尊天下的巅峰。......