- 70 名前：１３２人目の素数さん mailto:sage [2022/08/25(木) 19:39:30.08 ID:ON3UZhHc.net]
- 箱入り無数目は一箇所だけおかしい点があるね。
確率計算の箇所じゃないよ。
「代表系の中身が見れる」としている点。
選択公理は「代表系が存在する」と言ってるだけで
「中身が見れる」なんて一言も言ってない。
ZF内で構成できる代表系と構成できない代表系
には差があるはずなのに、一様に「見れる」と
とするのはおかしいんじゃないですかね？
「見れる」ことを認めるなら、完全に成立している。
