＞上記の二つ 430と 434とが相反する
　いいや、そんなこと全然言ってないけど

　選択公理を前提すれば、列の選択に依存しない代表が取れるから　当たり
　選択公理を前提しなければ、列の選択に依存しない代表が取れないから　当たらない

　そういってるんだが　どうしても理解したくないかい？君