If $S$ is a non-empty set, then we can take $r$ such that $r \in S$. Why do we need the axiom of choice?
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.