>>273
そうなりますね

多変数化
ω：最初の極限順序数
X：0個以上の（0以上の整数または順序数）
a,b,n：0以上の整数または順序数
x#y：y個のx

A(0#n,a)=ω+a
A(X,b+1,0#(n+1))=A(X,b,ω#(n+1))
A(X,b+1,0#n,a+1)=A(X,b,A(X,b+1,0#n,a)#(n+1))