ていうか箱入り無数目どころか選択公理も選択関数も関係無い。
「空でない集合のいずれか一元を選択できる」という命題に過ぎない。
もちろん自明に真。