手机浏览器扫描二维码访问
第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黑魔王 你好，我的上官先生 快穿之超凶萌宠 他把星星摘给我 灵物进化商 都市超级闲汉 五域九天 魔王你老婆又重生了 最牛玉帝系统
天威神将小楼听雨
六年前，他惨遭陷害，家破人亡。六年后，他王者归来，天威浩荡。为挚爱，他十步杀一人。为亲人，他一手遮九天。...
我的悟性好到爆
苏桐穿越玄幻大陆，晦涩难懂的修炼法诀竟是汉语。从此问天大陆出现了一位悟性极高的年轻人。上古神祗所留下的语言，苏桐张口就来。任何等级的功法灵技一看便会。修炼瓶颈桎梏不复存在，一路猛冲。直到某一天，苏桐站在大陆之巅，用汉语说出一句我！无敌了！顿时地动山摇，众人震惊万分，喃喃自语苏桐又创出了神技！本站为书迷更新我的悟性好到爆最新章节，查看白骨青灰所撰魔法我的悟性好到爆的最新章节免费在线阅读。...
妖孽天师闯都市
一代天师下山闯荡都市，富二代是他小弟，美艳女总裁奉他为英雄。...
武神大师兄
作者琅琊苏二的经典小说武神大师兄最新章节全文阅读服务本站更新及时无弹窗广告小说叶后浪，是满是女子的飘云宗大师兄，也是被赶出宗门的少年，又是什么都敢吃的吃货，更是沉寂三年的废柴，他一鸣惊人，立志回宗门过莺莺燕燕温香软玉的美好生活。...
奇幻异空
国中时代就开始接触武侠小说，因为跟正统文学不投缘，所以就把阅读兴趣投注在小说世界。在一个偶然的机缘下接触了奇幻科幻文学小说，让平时想像力就颇为丰富的我一头栽进了这个世界。尽管自己的文学修养并不是很高深，但还是忍不住的开始提笔写下心中的故事。也许自己的文笔并不是很优美，但自己写作上的用心终於得到了网友的支持，进而从众多的作品中脱颖而出，有了一个不平凡的开始！...
妖孽狂医
奉命下山的妖孽少年，传承几位老爷子的毕生所学，一手医术出神入化，一身功夫深不可测。本想做个低调的小医生，可总有不长眼的纨绔凑上脸来找抽。泡美女，斗阔少，打恶霸，踩纨绔。别惹我，哥很低调！...