22/08/25 19:39:30.08 ON3UZhHc.net
箱入り無数目は一箇所だけおかしい点があるね。
確率計算の箇所じゃないよ。
「代表系の中身が見れる」としている点。
選択公理は「代表系が存在する」と言ってるだけで
「中身が見れる」なんて一言も言ってない。
ZF内で構成できる代表系と構成できない代表系
には差があるはずなのに、一様に「見れる」と
とするのはおかしいんじゃないですかね？
「見れる」ことを認めるなら、完全に成立している。
22/08/25 19:39:30.08 ON3UZhHc.net
箱入り無数目は一箇所だけおかしい点があるね。
確率計算の箇所じゃないよ。
「代表系の中身が見れる」としている点。
選択公理は「代表系が存在する」と言ってるだけで
「中身が見れる」なんて一言も言ってない。
ZF内で構成できる代表系と構成できない代表系
には差があるはずなのに、一様に「見れる」と
とするのはおかしいんじゃないですかね？
「見れる」ことを認めるなら、完全に成立している。