不多废话下定义
%是任意序列
希腊字母表示序数
英文字母表是后继序数
jk(%)代表%展开的第j项
()=0
(%,1)=(%)+1
(%,%2,%3,(%2,1))=(%,%2,%3,%2,%3,%2,..)
(%,1k(%2),%3,%2)=(%,1k(%2),%3,(2k(%2)),%3,..)
(%3到%2之间可以有无数个%O
%O的性质如下:
1.具有1k(%2)的性质
2.也可以是(%n,(%O))
展开时只需要第一条符合这条规则即可
其余的像照旧)
展开比方:
1,(1,2)=？
1,2=1,1,1,...
1,(1,2)=1,(1,1),(1,1,1),...=1,2,3,...