選択公理は整列できない集合が存在しえないと言ってるんだから
禁止的じゃないのかとか言わると困るんじゃないのかと思うんだけどね。

それに任意の集合族に選択函数が存在するという選択公理と
任意の無限ゲームに必勝法が存在するという決定の公理は矛盾するし。