数学联邦政治世界观
超小超大

勒文海姆-斯科伦定理蕴含选择公理

证明:勒文海姆-斯科伦定理是指“如果语句 ψ 存在可数模型 M ,那么对于任意无穷势 κ≥|M| 都存在模型 Mκ ⊨ Γ ”。我们证明勒文海姆-斯科伦定理蕴含 κ²≈κ ,其中 A 是无穷集合:定义语句 ψ 为

∀x,y,z,x′,y′,z′(P(x,y,z)∧P(x,y,z′)→z=z′)∧∀x,y∃zP(x,y,z)

不难看出 M⊨ψ 当且仅当存在 M² 到 M 的单射。由于 ω⊨ψ ,根据勒文海姆-斯科伦定理,任意无穷势 κ 都有 κ²≈κ ;又因为κ²≈κ→AC ,因此定理成立。注意到在选择公理不成立的情况下,一个集合的势是由所有与其存在双射的集合构成的类中秩最小的那些集合构成。 ⊣

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

永远停驻于那个夏天吧 连载中
永远停驻于那个夏天吧
4000時
请关注四千时谢谢喵【自留oc向】第一次在话本写东西!这是纯oc向的小说てす!一起去鬼屋探险吧!杂乱剧情注意‼️多结局注意❗️男频剧情️,女频......
0.7万字8个月前
宠,唯爱一生 连载中
宠,唯爱一生
爱吃香草大富婆
人的一生有很多选择,如果让你有机遇你愿意踏入吗?一个规则的制定者,一个规则下的遵守人,如何擦出火花。请问瓦洛克先生愿意娶文文女士,执子之手与......
31.6万字6个月前
缥缈之梦 连载中
缥缈之梦
一只小猹w
虽说神界很美,可惜再漫长的路总有尽头,海市蜃楼再美也不过是假象,而这些梦里梦外缠烂辉煌的世界,却来自于无数个悲惨的回忆和童年。(书籍原名:缘......
2.5万字5个月前
团宠礼神第一季 连载中
团宠礼神第一季
扶光2010
团宠小七的日常和小葫芦们新的冒险与敌人,及葫芦们腥风血雨的虐恋情仇(主要是我的梦)
3.4万字4个月前
快穿之我在游戏里当大佬 连载中
快穿之我在游戏里当大佬
子非珏
南宫陌离和君沐泽从小是青梅竹马,全球有些人手腕上有倒计时而消失,他们到家KW游戏世界里,一路上一起和伙伴们通关副本,最终得到了真相……(南宫......
0.6万字4个月前
捉住你的小尾巴 连载中
捉住你的小尾巴
淤鱼与欲
“重来一世,我会为你叛神……”迟安无奈苦笑道,醉卧在宫苑中的桃花树下。一朝间,迟安回到年少却什么都不记得,十三出头的迟安在马停街前接住了坠楼......
1.3万字3个月前