>>964
説明の上手下手ではないよ。
>F[F[α_ω](β_ω)](γ) を●と置いて、
>F[●](x) として考えればいいです。
それがよくないんだよ。
F[○](x) = F[●](x) だからといって
順序数として○ = ●になるわけではないから
そうあらわすことは誤りだよ。