>>290
あなたはこう考えているでしょう
・同値類から元をひとつ選択する
・この操作をすべての同値類について繰り返す
これは間違いです。
なぜなら同値類の個数が無限個の場合、「すべての同値類について繰り返す」が可能であることをZF公理系で証明不可能だからです。
嘘だと思うなら証明してみて下さい。