>>410
「箱入り無数目」を信じない ⇒ 選択公理を信じない ということですが