帰納の意味がよく分からない。
Ωが帰納的に届かないということと、ω1^CKとはどういう関係なの？
両方とも「帰納的に届かない」順序数だけど、前者よりも後者の方が
ずっと大きいはずで、帰納的という意味の使い方に違いがあると
思うんだけど、そのあたりどうなってるの？