以下是一个名为“hydra”的极限序数的部分定义,规则我搞忘了,你们看对应关系式自己推演吧(滑稽)(特别注明,妄想序列里出现的一切,都可以拿来次序原则、叠盒、吹逼、盒术、啥啥啥、……等等等等!):
用<>表示根,对应0
对应1
对应2
])对应w
][])对应w+1
][][])对应w+2
<>对应e_0
<)>对应e_0
<>对应w
<)>对应w
<))>对应w
<)>对应ww
<)))>对应ww
<))))>对应www
<[])>对应e_1
<[]))>对应e_1
<[])[]))>对应w
<[])[])))>对应w
<[])[])[]))))>对应ww
<[])[])>对应e_2
<[])[])[])>对应e_3
<>对应e_w(如果用上节讲的与ψ函数的关系,你将得到e_1,但其实并非如此)
<)>对应e_w
<))>对应w
<[])>对应e_
<[])[])>对应e_
<[])[])[])>对应e_
<[][])>对应e_
<[][])[][])>对应e_
<>对应e_
<>对应e_
<])>对应e_
<])>对应e_(如果用上节讲的与ψ函数的关系,你将得到e_,但很快这个对应就出错了)
<])])>对应e_)
<>对应φ_2
<)>对应φ_2
<))>对应w·2)
<[])>对应e_+1)
<[])[])>对应e_+2)
<[][])>对应e_+w)
<[][][])>对应e_+w2)
<[])>对应e_+e_0)
<[])>对应e_·2)
<[])[])>对应e_·3)
<[][])>对应e_+1))
<[][])>对应e_·2))
<[>对应e_+1))
<[])>对应e_·2))
<[))])>对应e_·2))
<[[])])>对应e_+1))
<[[[])])])>对应e_+1)))
<[[]])>对应φ_2
<[[]])[[]])>对应φ_2
<>对应φ_2(如果用上节讲的与ψ函数的关系,你将得到e_+1),但其实并非如此)
<>对应φ_2
<])>对应φ_2
<])>对应φ_2)
<>对应φ_3(如果用上节讲的与ψ函数的关系,你将得到φ_2,但其实并非如此)