Here is a statement of axiom of choice given in Folland's book Real Analysis.
If $\{X_\alpha\}$ is a nonempty collection of nonempty sets, then, $\Pi X_\alpha$ is empty.
What does it mean to say "a nonempty collection"? Isn't it just enough to say that a collection of nonempty sets?
No, they are different. You could have an empty collection of well anything. Whether that is required is another matter that others have answered.
My answer corrected thanks to Asaf's comment.