17/09/23 13:42:50.39 N/RMP/ia.net
決定番号が自然数の値をとる確率が０だから
可算加法性によれば、決定番号が必ず自然数の値をとる
という主張と矛盾してしまう、というのであれば、
それはそもそも「同値類の代表元がとれない」
という主張につながる つまり選択公理の否定である
この根底には「そもそも非可測関数は存在し得ない」という前提がある
ただし、その前提はZFの定理ではないから、箱入り無数目の前提である
ZFCを否定するものではない
17/09/23 13:42:50.39 N/RMP/ia.net
決定番号が自然数の値をとる確率が０だから
可算加法性によれば、決定番号が必ず自然数の値をとる
という主張と矛盾してしまう、というのであれば、
それはそもそも「同値類の代表元がとれない」
という主張につながる つまり選択公理の否定である
この根底には「そもそも非可測関数は存在し得ない」という前提がある
ただし、その前提はZFの定理ではないから、箱入り無数目の前提である
ZFCを否定するものではない