Axiom:Axiom of Countable Choice for Finite Sets
Axiom
Let $S$ be a countable set of non-empty finite sets.
Then $S$ has a choice function.
Remarks
This axiom is a weakening of the Axiom of Countable Choice and the Axiom of Choice for Finite Sets.
Sources
 |
Work In Progress: Have source; will add. (discuss) You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by completing it. When this has been done, the template should be removed from the code. |
