多変数アッカーマン関数の
 Ak(a.b.c、、、、)
を、
 A[0]k(a.b.c、、、、)
とかくことにする。そして、
 A[n+1]k(a.b.c、、、、)は、普通の多変数アッカーマン関数のAk(□.a)を
 A[n+1]k(□.a)=A[n]k(a.a.〜(a個)〜.a.a)とする。
これはどんな感じでしょうか