2重帰納 ≒ F[ω](n)
3重帰納 ≒ F[ω^2](n)
じゃないの?

F1(x), F2(x) の定義はどこにありますか?