考察有難うございます
うーむ、独学だとこの位が限界か
なんか皆さんがやっている式の動きが全く想像できなかったから
自分で思いつく限り大きな数を作ってみたのですが、全然駄目だったみたいですね
拡張は出来ますけどそういう問題じゃないんだろうなぁ

例えば
l[{↑}をm個]l＝l「m」
l「[{?,}をm個]n:o」＝l「[{?,}をm個]l「[{?,}をm個](n-1)」:o;p」
l「[{?,}をm個]n,0:o」＝l「[{?,}をm個]n:o」
l「[{l,}をm個]l:n:o」＝l「m:(n+1):o」
l「m[{:n}をo個]」＝l「m:n;o」

とかやっても対して大きくなりませんよね
順序数とか多重帰納とか全くわかりませんし
多重帰納式の動きと順序数についてご教授お願いします