Countable collection of countable sets and Axiom of choice Do we need Axiom of choice(or weaker version axiom of countable choice) to say countable Cartesian product of countable sets is nonempty? I think yes.
I read somewhere answer no giving argument: each countable set can be well ordered and after well ordering each countable set we choose least element in each to prove their Cartesian product is non empty. But I see gap in this argument because there are many ways a countable set can be well ordered. So which way we will well order sets?

Even when free the sets have a natural well order to them, the countable union of countable sets is not necessarily countable. 
For example, in some models of $\sf ZF$ the first uncountable ordinal, $\omega_1$ is the countable union of countable ordinals. 
And no, the countable product of finite sets doesn't have to be non-empty without choice, let alone that of countable sets. Not only that, it is true that the statement "every countable product of countable sets is non-empty" is strictly weaker than the axiom of countable choice. 
In fact! It can Bethe case that the countable product of countable sets are non-empty, but there is a countable family of countable sets whose union is not countable. Because in the proof of the latter we choose from sets of size continuum, not just countable sets. 
