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