, one by one, by means of

and transfinite induction. We put first the representative of

; call it

. Then take the representative of the class consisting of all of

except