Comment by hopfenspergerj

We might as well use the axiom that “you can make arbitrary choices at each stage of a transfinite induction”. It’s mostly pedagogical tradition to make students translate that into one of the classical forms of Choice in their proofs.