Axiom of finite choice
= Axiom of finite choice
{wiki=Axiom_of_finite_choice}
The Axiom of Finite Choice is a principle in set theory that provides a specific form of the Axiom of Choice, which is a foundational principle in mathematics. The Axiom of Choice states that given a collection of non-empty sets, it is possible to select exactly one element from each set, even if there is no explicit rule for making the selection.