- 446 名前：１３２人目の素数さん mailto:sage [2017/06/10(土) 06:45:19.08 ID:S4NdpnbR.net]
- >>391
>「非可測関数があれば、それだけでOK」
何がどうOKだといってんだ？
記事中にそんな文章ないぞ！
記事で使う非可測関数は
選択公理によって認められる
非可測関数なんか認めないというなら
記事の方法は使えないが、そのかわり
選択公理も否定される
ちなみにZFが無矛盾なら
選択公理を認めようが認めまいが無矛盾
しかも「ZF＋到達不能基数」が無矛盾なら
全ての集合がルベーグ可測でも無矛盾
集合論の結果だが、工学部では教えない
