つか、recursive ordinalは普通は巨大順序数とは言わなくね？
計算可能関数を作るのに使えるのは、recursive ordinalみたいな小さい順序数だけなんだから・・・

巨大順序数スレになると、そのうち誰かがMahlo ordinalとか持ち出して、
このスレの主旨とは全然関係の無い流れになるぞ