3,4から、xを定数と見てy,zが2変数アッカーマンになっているから、
ack(x+1,y,z) = ack(x+1,0,z(y)) = ack(x,z(y),z(y))
とすると、z(y)が2重帰納関数になる。

なので、2重帰納をx回繰り返す3重帰納になる、ということか。