1 Answers
In constructive set theory, the axiom of non-choice is a version of the axiom of choice limiting the choice to just one.
4 views
Answered
In constructive set theory, the axiom of non-choice is a version of the axiom of choice limiting the choice to just one.