>>320
> 最後の方で、”α<β 　(in the usual well-order of the ordinals)”などと、軽く流している
> 要するに、取り出して、並べた（順序を与えた）部分は、
> 通常の順序数と一対応がつくんだよと軽く流している。
> 順序を グダグダ言わないの！！

　君が本当に流しちゃって誤魔化した部分を、口頭試問の教授として質問してあげるよ

　「A∖{aξ∣ξ<α} が空となれば完結する、ということだと思うけど
　　そのようなξが存在する、という保証は？」

　これ、答えられる？　答えられないならスリーアウトで、院試不合格ね
　まあ、前のツーアウトがなければどうだったかわからんけどな