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

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

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

相关小说

kpl:假如一诺有个姐姐 连载中
kpl:假如一诺有个姐姐
欧蕊拉
假如一诺有个姐姐会是什么样呢
0.8万字6个月前
午夜图书馆探索异世界 连载中
午夜图书馆探索异世界
逆卷灵
艾米丽站在画面的前景,她手持一把古铜色的钥匙,钥匙上刻有复杂的符号,散发着微弱的光芒。她的表情既紧张又坚定,目光直视前方。
4.1万字6个月前
浮生若梦云生惊蛰 连载中
浮生若梦云生惊蛰
曷月予还归哉
整一个故事架构和时间跨度巨大,日更的话需要很久,请各位读者耐心轮回之内轮回之外,革新与守旧,天命与人力樱花当自由盛开,也当自由凋零,投身烈火......
141.9万字4个月前
我在无序副本里弑神 连载中
我在无序副本里弑神
秋南栀
「出逃者」浅羽x「神牌」林沨林沨在求死时意外进入副本系统,为了与系统达成交易,获得【起死回生】复活妹妹,林沨选择留在系统成为玩家在过副本途中......
6.5万字3个月前
总有Alpha想泡我家老大 连载中
总有Alpha想泡我家老大
泡泡糖小姐
Omega老大的甜蜜爱情故事,顶着最温柔的名头,打最狠的架
10.2万字3周前
私亦心 连载中
私亦心
舌廿廿
苏芯瑶从小就是一个活泼开朗的女孩,但由于学习进度的增加变的内向,曾经的佼佼者也变成了学渣,但在高中的最后几个月经过不懈的努力考进了全国最高学......
4.8万字3周前