Axiom:Axiom of Choice for Finite Sets

Axiom
Let $\mathcal S$ be a non-empty family of finite, non-empty sets.

Then there exists a choice function for $\mathcal S$.

Remark
The axiom of choice for finite sets is trivially implied by the axiom of choice, but it is strictly weaker.