>>964
>F[F[α_ω](β_ω)](γ) は
>{ F[F[α_1](β_ω)](γ), F[F[α_2](β_ω)](γ), ... }
>列の収束先で、α_ωの部分で収束されます。
>ω^ω、F[ω](ω)、F[F[ω](ω)](ω) などの順序数自体の式を
>定義するには外側の自然数xを考える必要があるということです。

では実際にやってるのは順序数自体の式の定義ではなくて
列の要素の定義だね。

しかも列の要素が極限順序数だとまたその列の要素を
とることになるから、最終的に得られるものはもとの順序数
からはかけ離れたものになってるね。

実際にはF[](x)が何重にもかかっているはずだが、
すべて省略しちゃったせいで、ナゴヤン自身
ごまかされるわけだ。