>>416
選択公理 ⇒ 「箱入り無数目」

だからその対偶は以下

「箱入り無数目」が非成立 ⇒ 選択公理は非成立

高校数学だね