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

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

相关小说

心之航:心航路的故事 连载中
心之航:心航路的故事
鳄龟不鳄🐢鳄姐🐙
发生在心航路的一些事情。封面是AI画的,一些很尴尬的同人……
4.0万字1年前
乔兮:恋爱 连载中
乔兮:恋爱
JLovo
4.9万字1年前
笑桐幻恋 连载中
笑桐幻恋
南宫婉星
作者懒癌晚期
0.3万字1年前
小马宝莉云宝和喷火 连载中
小马宝莉云宝和喷火
陈哲远的未婚妻
互相喜欢。
0.0万字1年前
整个世界只有我最正常 连载中
整个世界只有我最正常
与琳
“已弃坑”早起玛丽苏作品,慎入!“看似最正常的一个,实则是最不正常的一个”月影使者莫久被迫撕毁《妖怪集》创世神派她和她的守护灵去找回散落人间......
8.5万字1年前
看见罪恶的眼睛 连载中
看见罪恶的眼睛
十鸢尾
她有一双看见罪恶的眼睛。
14.1万字1年前