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

特殊篇章(哥德尔可构造宇宙) (11-11)

定义Def()为一个包含所有X子集的集合。

  

一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑​公式φ和u₀,u₁,u₂,……∈X

  

使得x = {y∈X :φˣ[y,u₀,u₁,u₂,……]

  

然后:

  

L₀=∅

L₁=Def(L1)={∅}=1

Ln+1=Def(Ln)=n 

Lω=∪_k<ω Lω

Lλ=∪_k<λ λ is a limit ordinalג是极限序数

L=∪_k Lk,k跑遍所有序数

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

我有个遗憾 连载中
我有个遗憾
134***147_9146626724
我有一个故人,他被我弄丢了,我想找回来
0.1万字6个月前
镜月关 连载中
镜月关
竹酒顷
随笔,风无边X历元,双洁,he狱中,501号牢房,躺在一角的风无边道:“历元人?”坐在对角的历元斜眼看他:“你认识我?”风无边:“不认识!”......
0.2万字5个月前
丁默冷月恋爱记 连载中
丁默冷月恋爱记
小妙_58410708684175299
丁默冷月CP
0.9万字5个月前
界院 连载中
界院
龙蝎
天地初分,海水下沉,大陆升起,史称混元。经历数亿万载,混元大陆渐生灵气,化生万物,万物以灵气为养,又历经数亿万载,万物化而成形,名曰始灵。始......
18.0万字5个月前
末世之吻 连载中
末世之吻
云瑾沐
难道在这样时代生存真的不能拥有情感这种东西吗?不,不是的,对被感染的丧尸,我们可以一刀下去,而对人对你我还是要淑女一点的。
6.6万字5个月前
菀心向月却奈何贰 连载中
菀心向月却奈何贰
沉香南栀
菀心向月却奈何【共两部】北宫方才平定,前朝后宫皆不太平,一念之差,万念俱灰。新帝继位,傅之萱一路辅佐,可到了最后,不过是黄粱一梦。如若可以,......
5.0万字5个月前