とりあえずナゴヤ関数全体の定義や説明の
不備や下手さについてはすまなくて見直すべきことに尽きます。

また>>939についてこちらの説明不足で誤解されているかもしれないが、
>> F[*](x)の"*"の順序数部分だけの式
については定義式中で順序数同士の等式の場合、
「○ = ●」と表して、
F[○](x) = F[●](x)
を意味するということです。
F[λ_ω](α) = lim F[λ_n](α)
の式とは関係ないつもりですが・・・。

やはり>>948の言うとおり、
自分は集合論や順序数基数の知識はまだそれほど深くなく、
やたらと高度な順序数関係の説明も下手なままでは痛いと思うので、
いずれにしても、Ver2に入るのは当分先に伸ばそうかと思います。
その前にΩ_Ω_ ・・・ _ωやリスト形式のΩ（1, 0, ・・・ , 0）などの
独立順序数列の定義をまとめたりしていくつもりです。
（リスト形式順序数についてはC1式の考え方と重なるかもしれませんが）

それから、>>414のΩ_nまでの修正版も含めて
F[1_x, ・・・ 0_2, 0_1](x)
までの定義までまとめたVer1全体のテキストを
できれば近いうちにうぷろだにでもあげようと思います。