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

特殊篇章(哥德尔可构造宇宙) (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),接着再看更方便。

相关小说

筐出未来:灌篮年华 连载中
筐出未来:灌篮年华
小懒🥐_776168213497328
一群替补队员和主角团的故事…
0.1万字5个月前
篡改记忆 连载中
篡改记忆
白菜不菜_
如果说为了你我可以改掉自己的记忆毁掉自己的话,你会后悔吗……江澈,你不曾后悔,对吧世界处于阳光之下,到我感受不到温暖,看来我又忘了,你还在爱......
2.2万字5个月前
被理想型强制爱的野兽派触手 连载中
被理想型强制爱的野兽派触手
愛伱窩繪鳰蒾
双男主双男主双男主文艺版简介:有的变态会跨越千山万水来爱你。通俗版简介:在东方海洋里沉眠的世界最强者,被一个来自异世界的弱小人类扰了清梦。简......
11.8万字5个月前
爱留恋一世 连载中
爱留恋一世
倾倾墨秦
爱情
0.2万字5个月前
青关纪 连载中
青关纪
南施姑娘
2.3万字5个月前
诛昏邪神 连载中
诛昏邪神
落幕三清
因为两位神袛的赌约让紫幻大陆上的一对母子走向了对立的局面。下山寻找母亲的少年,无意间的帮助受到了一位神袛的传承,同时也收获了爱情,之后在父亲......
23.7万字5个月前