改めて
>>925のナゴヤ関数定義の修正版を書きます。

α:自然数または順序数、n, x:自然数
λ_ω(又はα_ω) :λ_1, λ_2, ...(α_1, ...)の極限順序数
以下F[*](α)のαが順序数のときの式は
F[*](x)の"*"の順序数部分の式です。(xは自然数)

f^λ+1(x) = f(f^λ(x))
α:順序数→ f^λ+1(α) = f(f^λ(ω))

F[0](α)=α+1
F[n](α) = F[0]^n(α) ※
※Ver1修正版のは
F[n+1](x) = F[n]^x(x)
α:順序数→ F[n+1](α) = F[n]^α(ω)
（この点については順序数でも統一してF[n]^α(α)に変更するかもしれません）

F[λ_ω](x) = F[λ_x](x)
α:順序数→ F[λ_ω](α) = F[λ_x](α)
F[λ_ω+n](α) = F[λ_ω]^n(α) ※
※Ver1修正版のは
F[λ+1](x) = F[λ]^x(x)
α_ω：極限順序数→ F[λ+1](α_ω) = F[λ]^α_x(ω)
α：後続順序数→ F[λ+1](α) = F[λ]^α(ω)
（こちらも両者ともF[λ]^α(α)に統一するかもしれません）