定义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),接着再看更方便。