[seanhunter]

Zorn's lemma is specifically that there is a maximal element of an ordered set that is structured in a specific way. That seems a lot weaker to me than just being able to make a completely arbitrary choice. Am I wrong about that?

[toodlemcnoodle]

You are correct that it SEEMS that way. They are, in fact, equivalent under traditional mathematical hypotheses about how sets work.