What's wrong with my argument of choice function from infinite family of nonempty sets?
Axiom of Choice: Where does my argument for proving the axiom of choice fail? Help me understand why this is an axiom, and not a theorem.