>>460の上数矢印はとても上数とは呼べる品物ではなかったので。改めて上数の方を
定義しなおしてみました。今度は矢印回転でｎ重帰納関数になったと思うんですが。
段落ごとに整理して定義してみます。

①ａ↑0＝ａ ａ↑ｂ＝a＾a＾・・・a＾a　※＾の数がｂ個
例）3↑1＝3＾3
　　3↑3＝3＾3＾3＾3

②ａ↑↑0＝ａ　※以降右の数字が0のときはａとなります。
ａ↑↑ｂ＝ａ↑（ａ↑↑（ｂ-1））　※タワーの計算と一緒
例）3↑↑2＝3↑（3↑3）
　　3↑↑3＝3↑（3↑（3↑3））

③ａ↑↑↑ｂ＝ａ↑（ａ↑↑↑（ｂ-1））　

1-①ａ→↑ｂ＝ａ↑↑・・・↑ａ　※↑の数がｂ個
例）3→↑4＝3↑↑↑↑3

1-②ａ→↑↑ｂ＝ａ→↑（ａ→↑↑（ｂ-1））　
例）3→↑↑4＝3→↑（3→↑（3→↑（3→↑3）））　

2-①ａ→→↑ｂ＝ａ→↑↑・・・↑ａ　※↑の数がｂ個
例）　3→→↑4＝3→↑↑↑↑4　

2-②ａ→→↑↑ｂ＝ａ→→↑（ａ→→↑↑（ｂ-1））　
※→を伸ばす操作が2重帰納関数