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

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

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

相关小说

快穿之芙蓉帐暖 连载中
快穿之芙蓉帐暖
玉樱樱
(快穿+系统+虐渣+爽文+演戏+大美人+渣女+男主碎片)渣女梨依儿快穿到各个小世界围绕在各个大佬周围。完成任务后就不甩他们了,主搞自己的事业......
3.2万字5个月前
雾灵念学院 连载中
雾灵念学院
雪酷
全职猎人的现象系番外,没有特定的主角
1.3万字5个月前
垃圾小短文合集 连载中
垃圾小短文合集
一一默rycidxy
所有内容都为言情。这一本是黑历史。我自己写的一些篇章和和别人一起写的一些篇章,会汇集到这本书里。类型多样,风格多样。
2.1万字5个月前
虚假的象牙塔 连载中
虚假的象牙塔
趁醉眠
“当我让他的画享誉世界时,我将取走他的生命——毕竟伟大的作品,是不可再生的,不是吗?”这是理想的象牙塔,也可以是一本充满欲望的故事书贪婪的饕......
0.3万字3个月前
all恶 连载中
all恶
丁猫奇遇记
请自行观看全员恶人,作者更新有点慢
0.9万字3个月前
寻秘之秋 连载中
寻秘之秋
轻吟吟吟
流光溢彩的少年不疾不徐撞入她的眼眸,无数问题在她的心中生根发芽。“你好知秋,我是旬阳笙。”“这是我们第23次的重逢。”而她不知道的是,少年的......
0.2万字2个月前