>>324-326
>つまらない問答

ID:LrNj7Iv2 は、御大か
朝の巡回ご苦労様です

　>>325の口頭試問が
ほとんどヤクザの因縁に近いって意味ですね （＾＾
しかし、院試の口頭試問でなく、学生同士の自主ゼミの問答ならば
首肯できます

　>>324
>君が本当に流しちゃって誤魔化した部分を、口頭試問の教授として質問してあげるよ
>　「A∖{aξ∣ξ<α} が空となれば完結する、ということだと思うけど
>　　そのようなξが存在する、という保証は？」

　>>310にアップした wikipedia の証明の最後
”a well-order of
A as desired, of order type
sup{α∣aα is defined}.”が、
”そのようなξが存在する、という保証”だね

ここは、君が >>318で言及した
『なんで、必ずある順序数が上限として存在るするといえるのか、わからんから
　多分、「なんだ、そういうことか！」っていうくらい、つまらんことだと思うけど』
と関連しているよ

それから、”as desired”（お望み通りの）にも注目してくれ
要するに”すきに並べて良いぞ”ってことです

さらに言えば、整列可能定理の並びは、抽象的であってもいい
しかし、具体的であることを妨げないってことね （＾＾