>選択公理は無しでも
>箱入り無数目トリックは、実現できるということ
このロジックはフォローできていない