>>190
集合自体が圏と比べると
かなり不完全な状態で形式化されちゃったからね。
元来カントールが無限についての考察の道具として
超限順序数εを定義するために使いたかったみたい。
その後チャイティンが定数Ωを考案するまでその状態がずっと放置されてきた。