19/01/26 13:20:02.31 OJu9z/7w.net
>>63
＞”選択公理とは, このような無限回の操作が可能であることを認める公理である”ということなのだ
＞上記「R^Nから、時枝の数列のしっぽの同値類を作ることができる」というところで、”無限回の操作”をやっていないだろうか？
同値類の定義は前スレ>>853に示した通り、選択公理は不要。
スレ主は選択公理を使わないと無限集合が構成できないと主張したいのかな？
M={2n|n∈N}
はい、選択公理を使わずに偶数全体の集合という無限集合を構成しますた。