Page "Axiom of choice" Paragraph 40

Some results in constructive set theory use the axiom of countable choice or the axiom of dependent choice, which do not imply the law of the excluded middle in constructive set theory.

Although the axiom of countable choice in particular is commonly used in constructive mathematics, its use has also been questioned.