>>151
訂正ありがとうございます。0を極限順序数とするというのは、
主張の問題であって算術的には問題ないのでしょうか。

＞0=α+1となるような順序数αは存在していませんので、0は極限順序数
こんなん拾いました。ということは0も順序数ということでいいですか。

>>152
とりあえず僕は「極限順序数」と呼んでおくことにします。
さて上の続きを書いてみますが、

F[ω*2](2)=F[ω+2](2)=F[ω+1](F[ω+1](2))=F[ω+1](F[ω+1](F[ω](2)))
=F[ω+1](F[ω+1](F[2](2)))

ここでF[2](2)としていいのか分かりませんが続けます。
F[2](2)=F[1]^2(2)
=F[F[1](2)](2)
=F[F[0]^2(2)](2)
=F[F[F[0](2)](2)](2)
=F[F[3](2)](2) …　　　

元の式に戻ると、　F[ω+1](F[ω+1](F[F[3](2)](2)))
あれ、またヘマやったかな？