21/04/26 07:53:49.61 eT8TbUBw.net
>>316 追加
さらに言えば、おサルの議論は、あたかも決定性公理を使って「非可測集合は存在しない」（下記）と言っているようなもの
決定性公理ではなく、フルの選択公理を使えば、「実数の部分集合でルベーグ可測でないものが存在する」ことが導かれる（下記）
仮に、百歩ゆずって、基礎の公理に反するとしても、基礎の公理を使わない集合論もあるから、
加算無限多重シングルトンの存在自身を否定したことに、はならんぜよっ！（＾＾
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
決定性公理
決定性公理は公理的集合論の選択公理と矛盾する。決定性公理を仮定すると、実数の任意の部分集合について「ルベーグ可測である」「ベールの性質を持つ」「完全集合性（英語版）を持つ」ことが従う。とくに実数の任意の部分集合が完全集合性を持つことは「実数の部分で非可算なる集合は実数と同じ濃度を持つ」という弱い形の連続体仮説が成り立つことに換言される。 選択公理からは「実数の部分集合でルベーグ可測でないものが存在する」ことが導かれるが、この事実からも決定性公理と選択公理が相容れないことが分かる。