Is the Axiom of Choice necessary in the proof that any subset of a metric space that contains its limit points is closed?
Proving there is a sequence convergent to a limit point of a set without axiom of countable choice?