In proving, every non-empty open set in $\mathbb{R}$ is union of a countable collection of disjoint open intervals in $\mathbb{R}$.
It seems to me this result is using some version of Choice(probably AC). Am I correct is it using some version of AC(maybe weaker) or not?