- 352 名前：現代数学の系譜 雑談 [2025/01/16(木) 10:07:33.76 ID:6RwEALUm.net]
- >>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”（お望み通りの）にも注目してくれ
要するに”すきに並べて良いぞ”ってことです
さらに言えば、整列可能定理の並びは、抽象的であってもいい
しかし、具体的であることを妨げないってことね （＾＾
|
 |
