>>933
F[*](x)の"*"の順序数部分だけの式で書きました。
正確にはF[ F[λ_ω](α_ω) ](x) = F[ F[λ_x](α_ω) ](x)
です。

>>934
問7
くだらんミスでスミませんでしたが
修正版定義で
F[λ+1](α_ω) = F[λ]^α_x(ω)
の形と同じく、
αが順序数のとき、
F[n+1](α) = F[n]^α(ω)　（αが自然数のときと(α)部分が異なる）
でした。

問8、問9
> F[λ_ω](α+1) = F[λ_ω](F[λ_ω]^α(ω))
もλ_ωと後続順序数λ+1との置換ミスで、
F[λ+1](α+1) = F[λ]^(α+1)(ω)
= F[λ](F[λ]^α(ω))、
F[ F[λ_ω](α+1) ](x) = F[ F[λ_x](α+1) ](x)
= F[ F[λ_(x-1)]^(α+1)(ω) ](x)
が正しいです。

また、修正版定義
F[n+1](α) = F[n]^α(α) （α：自然数）
と同様に、
F[λ+1](n) = F[λ]^n(n) （n：自然数）
となります。