Hacker News new | ask | show | jobs
by lupire 1295 days ago
That's the Axiom of Finite Choice, not the full Axiom of Choice.

https://en.m.wikipedia.org/wiki/Axiom_of_finite_choice
1 comments
mr_gibbins 1294 days ago
Yes - you are correct :)
link