Ｒが整列不可能、ということは
Ｒの全ての部分集合からその中の要素１つを選ぶ選択関数なんて存在しない
ということ

まあ、一見驚きだが、よく考えてみれば
Ｒの全ての要素すらわからんのに、
さらにＲの全ての部分集合なんかわかりようもなく
そこから１つの要素を取りだすなんてのも見当がつかないので
まあ、なくても矛盾は導けないかもな、とは思う