>>365
なるほど。スレッド6の655におけるα<Γ_0 が φ_β(γ) (β,γ<α)の
定義を見ると、このような形できれいに記述できるのであれば、
>>347-350のように順序数の定義を帰納的に記述できて、
http://web.mit.edu/dmytro/www/other/OrdinalNotation.htm
ここのordinal, stronger ordinal といった表現を簡潔に与える
ことができるとしても、不思議はないような気がしてきました。

とはいえ、>>338のプログラムを見ると、本当にこんなに短い
プログラムでF[ψ(Ω^(Ω+ω))](n) を生成できるのかと、驚くばかり
ですが。それが、計算可能の意味するところといえばそうですね。