Axiom of choice

The axiom of choice (abbreviated AC or AoC, or simply choice) is an axiom of set theory best known for permitting non-constructive proof. The consequences of choice's truthhood, falsehood, or even negligence are far-reaching and deep-cutting.