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

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

证明:勒文海姆-斯科伦定理是指“如果语句 ψ 存在可数模型 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),接着再看更方便。

相关小说

快穿之天生媚骨 连载中
快穿之天生媚骨
吖吖鹿
琓月为了寻求记忆,与778绑定,,完成任务,收集能量。第一个世界佟佳氏无cp
8.8万字9个月前
喜美:朦胧梦境 连载中
喜美:朦胧梦境
湫日有棂
禁一切作者:湫日有棂【祈念文学社】从学生时期便认识的我们,为什么最后没能走到一起?一场意外把美幻曦带到副本世界,需要前往一个个世界攻略喜易言......
14.7万字9个月前
愚人众执行官深空之恋(又名:原神深空传) 连载中
愚人众执行官深空之恋(又名:原神深空传)
琉璃女帝
愚人深空智慧超能力执行官传奇无人深空恋与制作人恋与深空探险冒险探索背景的“智慧超能力执行官传奇”故事:愚人众执行官恋与深空智慧城市智慧智能机......
64.7万字5个月前
巷往巷往 连载中
巷往巷往
139***084_7062947698
1.5万字5个月前
双尊重生录之情有千千结劫 连载中
双尊重生录之情有千千结劫
听心m
女主楚凌雪,本是圣天宗的天之骄女圣女。实力已经达到了至尊境。然而,他的身份始终是个谜。天,其天赋神界无人可比。然而,无意间意外得到了1套至尊......
2.7万字2个月前
45天的爱意 连载中
45天的爱意
mt.💗
如果我只能活45天,那我许的第一个愿望,便是希望自己能够得到最后的幸福(文章待重修,给您造成不便非常抱歉,已重修9章)
4.4万字2个月前