>>701
>”1)選択公理、2)数列しっぽの同値類、3)同値類の代表元の存在、4)決定番号、5)決定番号が自然数”
>とします

4)、5)は要らない。3)から導けるから