原作者：佩勒
继上一篇SVO=φ(1,0,0,…,0)
想要继续前进，用1,0,…,0这样表示元数是不行的，因为这样无法表达更大的序数
我们换一种方法
定义at：
φ(1 at n)=φ(1,0,0,…,0)（1+n个0）
要注意一元是at 0，二元是at 1，n+1元是at n
at也可以接多个，表示每一元的位置
如φ(1 at 14,5 at 1,4 at 0)=φ(1,0,0,0,0,0,0,0,0,0,0,0,0,5,4)
那么我们的SVO就可以表示为φ(1 at ω)
继续前进
φ(1,0,…,0,1)=φ(1 at ω,1 at 0)
φ(1,0,…,1,0)=φ(1 at ω,1 at 1)
φ(2,0,…,0,0)=φ(2 at ω)
φ(SVO,…,0,0)=φ(φ(1 at ω) at ω)
a-φ(a,0,…,0,0)fp=a-φ(a at ω)fp=φ(1 at ω+1)
φ(2 at ω+1)
φ(1 at ω+2)
φ(1 at ω×2)
φ(1 at SVO)
φ(1 at φ(1 at SVO))
a-φ(1 at a)=φ(1 at (1,0))=LVO
元数进入了不动点
要注意的是，不动点末项加一规则修改为直接+1，其余规则不变
也就是a-φ(a at (1,0))=φ(1 at (1,1))
φ(1 at (1,2))
φ(1 at (1,ω))
φ(1 at (1,LVO))
a-φ(1 at (1,a)) fp=φ(1 at (2,0))
我们稍微加个速
φ(1 at (3,0))
φ(1 at (ω,0))
a-φ(1 at (a,0)) fp=φ(1 at (1,0,0))
φ(1 at (1,0,1))
φ(1 at (1,1,0))
φ(1 at (2,0,0))
φ(1 at (1,0,0,0))
当元数过多的时候可以使用at表达位置
φ(1 at (1 at 5))
φ(1 at (1 at ω))
φ(1 at (1 at (1,0)))
φ(1 at (1 at (1 at ω)))
φ(1 at (1 at (1 at (1,0))))
BHO=φ(a-(1 at a) fp)
Veblen已经走到了极限，所以这个序数只能这么表达了…
想要走的更远，我们需要学一些别的东西…