定義
ω：最初の極限順序数
X：0個以上の（0以上の整数または順序数）
a,b,n,m：0以上の整数または順序数
@:順序数
x#y：y個のx
A(n#A(n#A････【Aがω個】･･･A(n#n))))･･･))＝B(n)
B(0#(n+1),a)=B(a#(n+1))
B(X,b+1,0#(n+1))=B(X,b,ω#(n+1))
B(X,b+1,0#n,a+1)=B(X,b,B(X,b+1,0#n,a)#(n+1))
B(X,@#m)＝B(X,(@→→m)
計算例 ただしk＝B(ω),J＝B(1,ω#2)
B(1,ω#2)＝B(1,(ω→ω→ω))＝B(1,B(1,(ω→ω→ω-1)))＝【「B(1,」がω→ω→ω回】k＝、、、＝J
