# 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 ProgressIn 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. |