啃书文学网

手机浏览器扫描二维码访问

第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,七年后蜀汉会亡国。2,蜀汉亡国时关家的仇人会找上门来血屠关氏一门。3,蜀汉开国功臣的第三代子孙基本都是废材。那么,废材们,请到我身边来,我们一起来复兴蜀汉吧!...

至尊黑科技系统

至尊黑科技系统

有人曾说过科技是第一生产力,什么最能赚钱,什么最能稳定?当然是高科技,谁手里掌握了科技,谁就是最强的大鳄!一个豪门私生子被赶出了家族,却获得了一个逆天的黑科技APP,我们且来看看他的霸主之路。...

生死派送

生死派送

没有天生的坏人,只有变坏的好人。一个凭空出现的诡异空包,彻底改变了快递员姬文的人生,随着特案组介入调查,一个个诡异离奇的事件接踵而至,死亡一周的收件人亲自签收快递深夜妙龄少女请求帮助她寻找杀死自己的凶手原本已经下葬的尸体深夜敲门杀人,是否这个世上,真的有无法解释的超自然现象存在?最可怕的究竟是妖魔还是人心?...

每日热搜小说推荐