手机浏览器扫描二维码访问
第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黑魔王 魔武机神 你好，我的上官先生 龙珠开局：拐走传超布罗利 大唐西游之最强网吧 兵王之极品老板娘 人在盗笔，我妹妹惹不起 最牛玉帝系统 都市超级闲汉 诸天之从吊打五绝开始 魔王你老婆又重生了
超级仙医
他，是雍城大学校医院的菜鸟校医，刚刚毕业踏入社会他，是医术精湛活人无数的仙医，中西医，无所不精两个反差极大的身份出现在同一个人的身上，将会碰撞出怎样的火花？...
来自东方的骑士
塞里斯人来自庞大富饶的东方帝国的后裔在他们的祖先被野蛮人骑兵驱逐之后就乘船漂泊了三年来到了欧特大陆祖先的惨痛记忆和教训使他们全面学习和改进了鞑靼骑兵的一切并使自己逐渐成为一只精锐的骑兵部队李云若塞里斯公爵的第七代继承人他和他的朋友与部下们正在飞快成长或许有一天他们将成为令人震惊的力量...
仙府道途
...
嚣张郡主：拐个王爷做夫婿
本是千人疼万人宠的千金，却因皇权政变，让幸福的家庭一夜之间化为乌有。云洛慈为了完成皇伯伯和爹爹的遗愿，我甘愿放弃一切。月昭华洛洛，你可知道，自从第一眼见到你，便永世不愿忘记。蓝染...
都市之豪龙天纵
（NO3，众界系列的第三部。）龙之古皇，号令沉浮。轮回千载，终踏归途。碧棂化形，不离不弃风眼灵戒，自划一空。回天图卷，掌我龙族龙脊斩皇，誓裂青天。逆天之恋，荡气回肠称吾峣尊，苍龙不朽。一名普通的高中学生，意外踏上了修真的路途，他屡经磨难，与非洲巫师东海群妖上界仙人美洲异能者接连激战，最终飞升仙界，更是惹出惊天风波，被四海龙王追杀。他就是一个危险吸引磁铁，能够将一切的风波一切的危机都...
重生七零团宠小福星
书海阁小说网免费提供作者木九九的经典小说重生七零团宠小福星最新章节全文阅读服务本站更新及时无弹窗广告欢迎光临wwwshgtw观看小说刘珍珍穿成了七十年代中期懦弱又愚蠢的农家女，上一世原主被渣男骗财骗色，最后还被渣男害死，下场凄惨。她穿来的时候，正碰上渣男刚骗走她上达学的指标，刘珍珍一不做二不休，干脆来了个釜底抽薪，下场凄惨的人变成了渣男。穿越后的刘珍珍一直有个目标，那就是成为这个年代的超级大富婆。然后，她遇上了真正的百万富翁。就你？百万富婆？不如回家种红薯。刘珍珍冷冷一笑。后来的许生安老婆，我错了唔，真香。...