Axiom:Axiom of Countable Choice for Finite Sets
Jump to navigation
Jump to search
Axiom
Let $S$ be a countable set of non-empty finite sets.
Then $S$ has a choice function.
Also see
This axiom is a weakening of the Axiom of Countable Choice and the Axiom of Choice for Finite Sets.
Sources
![]() | Work In Progress In particular: Have source; will add. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by completing it. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{WIP}} from the code. |