>>311の後半は、まだ理解できていません。

ふぃっしゅ数考案者の希望的観測としては、>>292のように

Ak を２重リストに拡張、Ak([n個のn], [n]) ≒ F[ω^ω^ω](n)
F5のm(5) ≒ F[ω^ω^ω](n)
F5のm(6) ≒ F[ω^ω^ω^ω](n)
F5のf5(n) ≒ F[ε_0](n)

となればいいかな、と思いますが、はたしてそうなるかどうか。
考案した本人も、その大きさを評価できずにいます。