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)


 * I'd say not. I have never encountered it. --Lord_Farin (talk) 11:49, 14 December 2012 (UTC)


 * The title might be confusing; it seems that this not equivalent to the Principle of Finite Choice. --abcxyz (talk) 18:13, 14 December 2012 (UTC)


 * Now that you mention it, we seem to have jumped to a conclusion. Indeed, choosing infinitely many left or right socks requires some form of choice, while choosing shoes doesn't (socks are indiscernible, shoes are not). --Lord_Farin (talk) 18:17, 14 December 2012 (UTC)


 * No, there is a difference, I see it now - the sets are finite but there may be an infinite number of them. As you were. --prime mover (talk) 19:33, 14 December 2012 (UTC)