>>968
Ｆ［φx］(x) （φ(n+1) = F[φn](ω)、φ1 = ω）
までの関数自体の定義は基本的に
>>939にしたつもりです。ただ、
＞λ_ω(又はα_ω) :λ_1, λ_2, ...(α_1, ...)の極限順序数
は
λ_ω(又はα_ω) :λ_1, λ_2, ...(α_1, ...)列の収束先の極限順序数
と読み替えて、
順序数同士α = βの式は誤りで
F[α](x) = F[β](x)
に置き換えればいいと思います。

とりあえず>>414の不完全定義を元にして、
ナゴヤ数の最終定義である F[1_x, ・・・ 0_2, 0_1](x)
までの関数と自然数の全体定義完全版を早ければ数日後に
うぷろだにアップしておくつもりです。