>>91
>(決定番号を求めるための)無限数列(=代表元?)
>の構成には(可算)選択公理を使う
正しくは非可算選択公理 
なぜなら同値類の数が非可算個だから
各同値類の要素数は無関係