Axiom:Axiom of Countable Choice for Finite Sets

From ProofWiki
Jump to: navigation, search

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