>>963
？
説明が下手だったのかな？
F[F[α_ω](β_ω)](γ) を●と置いて、
F[●](x) として考えればいいです。
F[F[α_ω](β_ω)](γ) は
{ F[F[α_1](β_ω)](γ), F[F[α_2](β_ω)](γ), ... }
列の収束先で、α_ωの部分で収束されます。
ω^ω、F[ω](ω)、F[F[ω](ω)](ω) などの順序数自体の式を
定義するには外側の自然数xを考える必要があるということです。

極端なことを言えば、λ、α、β、γなどを順序数として、
F[ F[ F[ ・・・ F[λ_ω](α) ・・・ ](β) ](γ) ](x)
= F[ F[ F[ ・・・ F[λ_x](α) ・・・ ](β) ](γ) ](x)
となります。

あと、今更どうでもいいことですが、
ナゴヤンという呼び方よりも5-682のほうでいいです。