$\omega_2$ is a not countable union of countable sets without AC

Solution 1:

It works, although I would take $f_n\colon\alpha_n\to S_n$. The reason this avoids choice is that $f_n$ is unique, so we don't need to choose it from anywhere. It is just the Mostowski collapse of $S_n$ (or its inverse in my suggestion).