Axiom talk:Axiom of Choice for Finite Sets

Not only is it trivially implied by AoC, isn't this also implied by the existing ZF axioms without needing recourse to making this axiomatic at all? See Principle of Finite Choice.

IOW: is there any need for this page at all? --prime mover (talk) 07:17, 14 December 2012 (UTC)