手机浏览器扫描二维码访问
第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黑魔王 尸唐：开局救了长乐公主 诸天之从吊打五绝开始 我觉醒了高达独角兽 你好，我的上官先生 兵王之极品老板娘 宙灵世界 魔王你老婆又重生了 灵物进化商 都市超级闲汉 魔武机神 鸿蒙教皇 快穿之超凶萌宠 最牛玉帝系统 龙珠开局：拐走传超布罗利 五域九天 斗罗之真君显圣 大唐西游之最强网吧
都市：天命大反派
穿越高富帅模板，开局王炸设定！王浩然原以为自己要踏上巅峰，享受钱权美人！结果激活天命大反派系统，主角变反派，打开方式妥妥有毒！但那又如何？重生型气运之子，拍灭！文娱型气运之子，趴着！高手下山型气运之子，盘着！等等自家女儿也是气运之子，还是重生回来的，还准备弄垮自己这个无良老爹，这局怎么破？...
绝品村医那点事
自从村里的男人都去城里打工后，小小村医就成了全村女人唯一的慰藉。光瞅着根本不过瘾，她们还想碰碰，还想抱抱，最好是负距离的！...
千金归来：首席大佬惹不起
贵为天之娇女，到头来却落了个家破人亡的下场。直到临死之前，才得知一切。重回十九岁，夏三小姐的人生信条只有活着，报仇。初遇时，他是尊贵神秘的柏海首富安氏之子，一片喧闹中，她当众扬言要与他私奔，就此成为厚颜无耻的代表。后来，安夏两家联姻的消息突然传出，满城哗然。人人都道夏家三小姐为攀高枝不择手段。目的达成的太过顺利，夏晚橙反倒有些畏缩。某人微笑，你说要私奔的时候，在骗我？...
穿越远古：野人老公宠妻无度
同为穿越，她却直接穿越到了远古时代。开始与半兽人同居。既然来了，那就见证人类的发展和进步吧。为了保命她开始学语言，教他们生活技能。然而，首领小哥只希望她不停的生孩子。这位小哥，我会种植农作物。我体力好。这位小哥，我会制造武器和用具。我体力好。这位小哥，我会生孩子。好，开始吧。...
峡谷之巅
从小被教育做人做事要稳健，谋而后动，三思而后行，准备充分再做的陈稳，接受了这种教育，却在游戏里对稳健有着特别的理解。发育好才能赢，那让对面发育不好，我岂不是就是双倍的发育？再把对面杀了，不就是四倍的发育了吗？哎，打野怎么来了？一个逻辑鬼才的封神之路！ps已有完本四百万字老书联盟之魔王系统，人品保证，放心入坑。...
论撩世家子的技巧
...