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

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

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

相关小说

喜美:我在恐怖游戏里当主角 连载中
喜美:我在恐怖游戏里当主角
雾小渺wu
「喜美同人文01」——推推隔壁《喜美:童话镇》/本书开写于2024.9.4【不定时更新】-宋喜星×简喻美【双强】[双强+HE+爽文+幻想]-......
2.2万字5个月前
穿书后我在异世界当团宠帝姬 连载中
穿书后我在异世界当团宠帝姬
柳之之
神秘颜控少女沙小羊,某日在看完玛丽苏剧情的一本书后狠狠地吐槽了一番,结果证明……没事不要在背后说坏话Ծ‸Ծ,一觉醒来,她居然穿越到这本书里面......
8.1万字2个月前
神凰之上 连载中
神凰之上
墨莲宜
1.4万字2个月前
十八天的时间 连载中
十八天的时间
夕落水
因为一个游戏,魏羽回到了循环的的世界,那里美丽危险,那里是恶人的地狱,也有好人的绝望,有的人出卖自己的一切,只为让别人死,有的人为了救人舍弃......
0.7万字1个月前
别了亲爱的:用情至深 连载中
别了亲爱的:用情至深
不知名诗人
我又活了,拥有了新的身份,唯一没变的是对她的爱,这次我绝对要保护好她,熟悉的环境,重走一遍的剧情,我绝对不会让她再受伤了,我不会再唯唯诺诺,......
1.4万字2周前
待我复活 连载中
待我复活
厥题
(开学了,更新慢,请各位读者谅解)在校园组织得一次郊游里,叶云汐和反派沈阳首次交手,双方都暴露了变种人的身份。沈阳为了老板的研究,不顾一切代......
3.7万字2天前