手机浏览器扫描二维码访问
第506章ZermeloFraenkel集理论公理（第1页）
“行走于V家世界（..）”！
本文来源于知乎用户“某71”，已获得授权。
————以下是正文————
Zermelo-Fraenkel集理论公理
（从过渡性ZFC模型重定向）
Zermelo-Frankel集理论与选择公理（ZFC）是集合理论家使用公理的标准集合。用于表达每个公理的正式语言是一阶的，具有平等性（==）和一个二进制关系符号，∈∈，意在表示集合成员资格。零集公理和分离模式被后来更具包容性的公理所取代。
公理
扩展性
集合由其元素唯一确定。这正式表示为
?x?y（?z（z∈xz∈y）→x=y）.?x?y（?z（z∈xz∈y）→x=y）.
“→→”可以替换为“”，但是←←方向是一个逻辑定理。或者，可延伸性公理可以作为平等的定义，也可以用它来代替它：
?x?y（?a（a∈xa∈y）→?b（x∈by∈b））?x?y（?a（a∈xa∈y）→?b（x∈by∈b））
意味着具有相同元素的集合属于相同的集合。
空集
有一些集合。事实上，有一套没有成员。这是正式表达的
?x?y（y?x）.?x?y（y?x）.
这样一个x按扩展性是唯一的，此集合表示为??。
配对
对于任何两套xx和yy（不一定不同）还有一套zz谁的成员正是布景？xx和yy。
?x?y?z?w（w∈z（w=x∨w=y））.?x?y?z?w（w∈z（w=x∨w=y））.
这样一个z因扩展性而独一无二，并表示为{x，y}{x，y}。
工会
对于任何一套xx还有一套yy其成员正是所有成员xx。也就是说，集合的所有成员的联盟都存在。这正式表示为
?x?y?z（z∈y?w（w∈x∧z∈w））.?x?y?z（z∈y?w（w∈x∧z∈w））.
这样一个y因扩展性而独一无二，并被写成y=?xy=?x。
基础（或规律性）
每套非空集x成员与x，确保任何集合都不能直接或间接包含自己。这正式表示为
?x≠??y∈x??z（z∈x∧z∈y）.?x≠??y∈x??z（z∈x∧z∈y）.
兵王之极品老板娘 斗罗之真君显圣 魔王你老婆又重生了 诸天之从吊打五绝开始 魔武机神 哈利波特之Hello黑魔王 龙珠开局：拐走传超布罗利 尸唐：开局救了长乐公主 快穿之超凶萌宠 你好，我的上官先生 灵物进化商 宙灵世界 五域九天 最牛玉帝系统 人在盗笔，我妹妹惹不起 大唐西游之最强网吧 鸿蒙教皇 我觉醒了高达独角兽 都市超级闲汉 他把星星摘给我
重生之都市至尊
...
一胎二宝：盛总的私宠娇妻
为了分割家产，她被闺蜜和前男友设计陷害。怀孕之后，生下一对双胞胎。四年后，携着两只宝贝回来，本想开启新的人生。没想到被一个霸道的男人牢牢掌控。我和你没有关系！她步步后退。男人将她圈入怀中，冷笑这两个孩子叫我爸，你说我们是什么关系？他食髓知味，对她百般娇宠。...
继承者的秘密情人
这是一部特种兵男神宠妻如命的血泪史，更是一个叛逆美少女征服冷面军王呼风唤雨的荣耀史！一场意外，她成了他此生唯一的女人初吻，初恋，她所有的第一次都被他一夜之间无辜而霸道地掠夺了。从此她成了他的宝贝...
最强天眼皇帝
龙轩带着极品天眼系统，穿越到了秦国太子身上，开局一只眼，宝贝全靠捡叮！地下埋着一把极品狂雷大宝剑，宿主快快挖取！叮！此书乃是九品上等武技的残品，待本天眼帮你完善！叮！空气中出现了‘天眼礼包’，可抽取各种宝贝，快快领取！哇！前方发现一中毒的妹子，龙龙快点过去解毒，要不然就被人抢了。从此龙轩踏上了一条...
归楚
莫唱当年长恨歌，人间亦自有银河。一朝乌云悲少年，谁人能护可怜人！楚立不是可怜人，只要他想，整个天下都是他的。可怜可恨的是世间的人！...
穿书后她成了种田大户
年代文男强女强年画穿书了，穿到了她正在追读的一本火爆年代文里。既不是女主也不是戏份很重的女配们。更悲催的是在小说VIP收费章节前，她就狗带了。呵呵，作者你出来，我们好好聊聊？年画追的这本年代文还在更新中，她一来开局已经跌倒人生谷底，她只想努力苟到完结就OK了。但渐渐地，她发现自己膨胀了，越来越苟不住了家中那个名义上的老公变得越来越出名了，小说里他只是全国首富啊，怎么这么快就成了世界首富？梁寄洲（那位首富老公）下个月我们一起退休。年画？？？梁寄洲财产太多，一个儿子花不完，多生几个。（本书又名我真没想当年代文里的顶级大佬，全书只有爽甜，没有虐）...