Let $X$ have a countable basis; let $A$ be an uncountable subset of $X$. Show that uncountably many points of $A$ are limit points of $A$.
Remark: Probably this question have appeared couple of times in this forum but I solved it by myself and I would be very grateful if you can check my details.
Proof: Suppose not then only countably many points of $A$ are limit points of $A$. Since $A$ is uncountable then it has uncountable subset $C$ whose elements are not limit points of $A$.
Hence for any $c\in C$ $\exists U_c$ - neighborhood of $c$ such that $U_c\cap A=\{c\}$. Since $X$ has countable basis $\mathcal{B}=\{B_n\}_{n\geq 1}$ then $\exists n:=n(c)$ such that $B_n\cap A=\{c\}$.
Let's consider the following: for any $c\in C$ consider $I_c=\{n\in \mathbb{Z}_+: B_n\cap A=\{c\}\}$. Since $I_c\subset \mathbb{Z}_+$ and $I_c\neq \varnothing$ then by well-ordering $I_c$ has smallest element, say $n(c)$.
Define the function $f:C\to \mathcal{B}$ by equation: $f(c)=B_{n(c)}.$
Let's show that this function is injective: let $c_1,c_2\in C$ such that $c_1\neq c_2$ but $f(c_1)=f(c_2)$. Then $B_{n(c_1)}=B_{n(c_2)}$ then by definition of $n(c_1)$ and $n(c_2)$ we will get: $B_{n(c_1)}\cap A=B_{n(c_1)}\cap A$ $\Rightarrow$ $\{c_1\}=\{c_2\}$ $\Rightarrow$ $c_1=c_2$ which is absurd. Hence $f(c_1)\neq f(c_2)$.
So we have an injective function $f:C\hookrightarrow \mathcal{B}$ but since $\mathcal{B}$ is countable set then it implies that $C$ is countable which is contradiction because by construction $C$ was uncountable.
Is the proof correct in all details?