每个人都是记载生活之人
原作者：佩勒
继上一篇我们走到了ψ(a-Ω_2^a fp)
它等于ψ(ψ2(0))
ψ2(a)的另一半是Ω_3，它们有和ψ1/Ω_2相同的性质，实际上对于任意非递归序数Ω_(1+a)和任意折叠Ω_(1+a)的坍缩函数ψa(b)，都有：
ψa(0)=b-Ω_a^b fp=ε(Ω_a+1)
ψa(b+1)=c-ψa(b)^c fp
ψa(X~Ω_(1+a))=b-ψa(X~Ω_(1+a)) fp其中X为任意合法字符，~为加法，乘法，次方其一
对于任意序数a,b满足ψa(Ω_(1+a))
族客云提供支持