>>939

問11
f^λ_ω(α) の定義は？
f^λ_ω(x) の定義は？

問12
F[λ_ω](α)やF[λ_ω](α)はF[*](n)の*の部分に入った場合の定義しか書かれていないが、
F[*](順序数) や F[...](*), の*の部分に入った場合の定義は？

たとえば、
F[F[α_ω](β_ω)](γ)
F[α_ω](F[β_ω](γ_ω))
F[α+1](F[β_ω](γ_ω))
F[n](F[β_ω](γ_ω))
これらの定義は？

F[ F[ F[ω](ω) ](ω) ](3) = F[ F[ F[3](ω) ](ω) ](3) ？

F[ F[ F[ω](ω) ](F[ω](ω) ) ](3) = F[ F[ F[3](ω) ]( F[ω](ω) ) ](3) ？
それとも、
F[ F[ F[ω](ω) ](F[ω](ω) ) ](3) = F[ F[ F[ω](ω) ]( F[3](ω) ) ](3) ？

F[F[ω](ω)+1](2) = F[F[2](ω)+1](2) ？
それとも、
F[F[ω](ω)+1](2) = F[F[ω](ω)]^2 (2) = F[F[ω](ω)] { F[F[2](ω)] (2) } = F[F[F[F[2](ω)] (2)](ω)] { F[F[2](ω)] (2) } ？

F[ F[ F[ F[ω](ω) ](ω) ](4) ](3) = F[ F[ F[ F[4](ω) ](ω) ](4) ](3) ？
それとも
F[ F[ F[ F[ω](ω) ](ω) ](4) ](3) = F[ F[ F[ F[3](ω) ](ω) ](4) ](3) ？