>424いいえイコールではありません。
>425F[ε_0](x)≒H[ε_0](x)なら知ってます。

大きい順序数を作って入れることに相当するほかの手段を
模索したいのですよ。
根っこで1行ですむような定義をしている限り+ωがせいぜい、
よってε_0を超えられない、といいたいなら私もそう思ってます。