Axiom of non-choice

ID: axiom-of-non-choice

The Axiom of Non-Choice is a formulation in set theory that asserts the existence of certain sets without the necessity of the Axiom of Choice. More specifically, it can be understood within the broader context of set theory and its alternatives to the Axiom of Choice (AC). The Axiom of Choice asserts that given any collection of non-empty sets, it is possible to select an element from each set, even if there is no explicit rule for making the selection.

New to topics? Read the docs here!