＞>>266 のように、ある言語を用いて大きな可算順序数を作ることを考える。
＞n文字（またはn単語、nトークンなど） で表せる最大の可算順序数を
＞o(n) とした場合、この極限 lim o は可算なのだろうか？
＞
＞可算だとすると、
＞帰納的定義では到達できないほど大きな可算順序数が存在することになる。
＞
＞非可算（つまりΩ）になるとすると、
＞可算順序数の列で、極限が非加算になるものが存在することになる。

結局これってどっちなの？ビジービーバーっぽいけど…
可算だとしたらBB(x)に匹敵するH[可算順序数](x)が存在するってこと
になるのでは？