:But Bourbaki led people to do the exact opposite, and that was more than half a century ago ... no need to learn transfinite induction, or even what an ordinal is. That was all quite deliberate and slanted. It is however true that if you ask where AC is hard to avoid in some or other form in graduate courses, say in functional analysis or proving algebraic closures exist, Zorn is pretty useful.