Compact metric spaces is second countable and axiom of countable choice Why we need axiom of countable choice to prove following theorem:
every compact metric spaces is second countable?
In which step it's "hidden"?
Thank you for any help.

Usually the proof would go like this:
For every $n$ define $\mathcal U_n=\{B(x,\frac1n)\mid x\in X\}$, this is clearly an open cover so it has a finite subcover $\mathcal V_n$.
Finally we can show that $\bigcup\mathcal V_n$ is a basis for the topology.
Here used twice countable choice:

*

*We chose a finite subcover for every $n$.

*We took the union of countably many finite sets, each with more than one element. Then we claim that this union is countable.

Both things are a consequence of the axiom of countable choice, and cannot be proved in general without it.

In the following paper the authors show that for compact metric spaces the statement that the space is separable is equivalent to the statement that it is second-countable. This makes it easier to find a counterexample, as non-separable compact metric spaces are easier to come by.

Keremedis, Kyriakos; Tachtsis, Eleftherios. "Compact metric spaces and weak forms of the axiom of choice." MLQ Math. Log. Q. 47 (2001), no. 1, 117–128.

Models where these fail (i.e. there is a compact metric space which is not second-countable) are also given.
