- 730 名前：現代数学の系譜 雑談 [2025/01/27(月) 13:20:51.05 ID:CtxJncrm.net]
- ”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
＜ あほ二人は、選択公理−選択関数が 全く分かっていない＞
ご苦労様です。
>>668-670
>それは P(A)-Φから要素を選ぶ選択関数fそのまま
それ、”選択”という日常語に 流されている
選択公理は、無限集合族を定義域とする関数だから、特別に公理が必要だ
”P(A)-Φ”という 定義域が ただ一つならば、置換公理の関数で間に合う
つぎに
>"Let A be a set. To well-order A, it suffices to construct a transfinite one-to-one sequence >（aα: α < θ) that enumerates A.
>
