 The axiom of choice in its full form is unacceptable from a constructive point of view, at least in the presence of certain other central axioms of set theory, such as extensionality (Diaconescu 1975). For let \(A\) be a statement that is not known to be true or false. Then membership of the following two sets is undecidable. 