17/09/23 10:16:35.70 N/RMP/ia.net
>>484
＞こちらのパンチ（>>382-383）が、効いている
全く関係ないと思いますよ
99/100導出に関して、ZFCからは決定できない命題を
前提していたと理解したのでしょう
※以下のドキュメントp10で、可測でない場合の
積分の順序交換の同値性はZFCから独立、とある
URLﾘﾝｸ(fuchino.ddo.jp)
ちなみに上記の積分の順序交換の同値性を認めても
無矛盾であることは証明されているので、そのような前提を
追加した理論が数学的に誤っているとまではいえない
（但し箱入り無数目はZFC上でのものだから、
より強い仮定が必要だということになるのは
適切でない）