手机浏览器扫描二维码访问
第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黑魔王 兵王之极品老板娘 魔武机神 鸿蒙教皇 魔王你老婆又重生了 人在盗笔，我妹妹惹不起 龙珠开局：拐走传超布罗利 都市超级闲汉 他把星星摘给我 你好，我的上官先生 最牛玉帝系统 尸唐：开局救了长乐公主 斗罗之真君显圣 诸天之从吊打五绝开始 大唐西游之最强网吧 我觉醒了高达独角兽 灵物进化商 快穿之超凶萌宠
复仇娇妻：错爱冷情总裁
他是多金而又帅气的总裁，因缘际遇她不可自拔的爱上了他。她是年轻貌美的安盛集团首席设计师，她要展开疯狂复仇。因为意外她成为了他的租客加职员，可他却从未正眼瞧过她像你这种心机重拜金势力的女人我见得多，我的人跟我的心永远都不可能属于你。一夜缠情之后，当她一身冰冷如斯的以复仇之名出现在他面前的时候，他的心乱了，而她的情是否也会跟着乱了呢？...
掠天记
...
掌控行者
作者九九杨的经典小说掌控行者最新章节全文阅读服务本站更新及时无弹窗广告小说穹顶之下，万物生长，本源之力，更是无穷，行走于尘世之间，磨砺千万劫，方能褪去铅华，掌控世间本源！...
许国华孙思颖
第1章市检反贪局的到来是作者洗礼先生所著的一本官场职场类小说，人物真实生动，情节描写细腻，快来阅读吧。第1章市检反贪局的到来精彩节选谈了两年的女友最终嫁给他人，老实巴交的父亲突然被检察院带走，就在许国华一筹莫展之时，等待他的又是一张停职通知...
九苍
作者南系北念的经典小说九苍最新章节全文阅读服务本站更新及时无弹窗广告小说何为长生何为大道亦或何为浩然正气重活一世，抛却心中几个该救之人，世间再苦，不值我救！长生，大道，世间正气皆是浮云幻境。也正如我看过一些风景，那些风景很好看，但这一世我却不想去看了莫无念觉得重活一世，其实苍生呢真的不值他去救的，人啊，还是要自私些的好。...
腹黑世子妃日常
穿越重生腹黑世子妃日常作者花间雪完结 简介 一句话简介青砖绿瓦，陌上花开香染衣朱门紫殿，素手摘星霓作裳。 一朝穿越，腹黑狡诈的她竟成身中寒毒的病弱千金，未婚夫唯利是图，将她贬为贱妾，她冷冷一笑，勇退婚，甩渣男，嫁世子，亮瞎了满朝文武的眼。 不过，世子，说好的只是合作算计人，你怎麽假戏真做了？ 喂喂，别说...