I (only a beginner in set theory...) want to see a prove that an infinite set must have an infinite countable subset U:
The following answer sounds quite logically for me: John Wayland Bales, Prove that every infinite set has a countable subset
However, I guess that this proof depends at least on on some weaker variant of axiom of choice.
John Wayland Bales constructs a series of non empty finite sets with increasing number of elements:
For each $N\in\mathbb{N}$, $S$ contains an element distinct from each element in $U_N=\{x_1,x_2,\cdots,x_n\}$, so define $U_{N+1}=U_N\cup\{x_{N+1}\}$ where $x_{N+1}$ is an element of $S$ distinct from each element of $U_N$.
Where is AC hidden in this argumentation? I feel, that the last step is critical:
Let $$U=\bigcup_{N\in\mathbb{N}}U_N$$ Then $U$ is a countable subset of $S$.
I would like to learn, how the proof is done "correctly" by using AC or some weaker weaker variant (axiom of countable choice...).
My problem: Of course I see that recursive choices of "any" elements
to create a new set are crucial, but those choices are done sequentially and not on an infinite set of sets that is already "available" and clearly defined. AC (in it's original textbook variant) is about the latter situation and not about a set, that is still in process of being constructed.