- 913 名前：１３２人目の素数さん [2025/01/30(木) 12:33:06.96 ID:S0uv3c2L.net]
- >>839
>1st ステップ
>定義域 {A-{aξ|ξ<α}｜α < θ} を構成する部分
>ここは、the family S of all nonempty subsets of Aの部分集合になる
>だから、置換公理で間に合う
aξの定義にfを使っている。
>2nd ステップ
>f；A-{aξ|ξ<α} → aα
fの定義にaξを使っており、aξの定義にfを使っているから循環参照となっており、fはwell-definedでない。
>これで選択関数が構成できた
できてません
>（Aが可算ならば、従属選択公理で間に合う）
誤解にもとづく妄想です
以上、畜生界を彷徨い続けるおサルさんでした
