問12の続き。

> F[ F[ F[ω](ω) ](ω) ](3) = F[ F[ F[3](ω) ](ω) ](3) ？
→Yes. F[ F[ω](ω) ](ω) は
{ F[ F[1](ω) ](ω), F[ F[2](ω) ](ω), ... } 列の収束先であり、
①式と同様にF[ ]()で[]の最も内側の部分が収束されます。

> F[ F[ F[ω](ω) ](F[ω](ω) ) ](3) = F[ F[ F[3](ω) ]( F[ω](ω) ) ](3) ？
> それとも、
> F[ F[ F[ω](ω) ](F[ω](ω) ) ](3) = F[ F[ F[ω](ω) ]( F[3](ω) ) ](3) ？
→前者。これも①式、F[ F[ F[ω](ω) ](ω) ](3) と同じようにしていけばいいです。

> F[F[ω](ω)+1](2) = F[F[2](ω)+1](2) ？
> それとも、
> F[F[ω](ω)+1](2) = F[F[ω](ω)]^2 (2)
→後者。F[ω](ω)+1 は後続順序数なので F[λ+1](x) = F[λ]^x(x) の定義を適用します。

> 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) ？
→前者。　ここではF[*](n)で、"*"が F[ F[ω](ω) ](ω) に対応します。
F[ F[ F[ω](ω) ](ω) ](4) は自然数になるのでこの部分のみから定義を適用します。