Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

I think you can already pick an element.

But what does it mean to pick an element infinitely many times? You have to be very careful about your assumptions there, an inductive proof would only prove you can pick an arbitrarily large number of such elements. To say that you can make a set picking one element each from a infinite collection of sets, even countably infinite, is something you cannot prove inductively. It requires another axiom.

And admitting this axiom suddenly paradoxes like Banach-Tarski are possible.



Yes but as I read it, the parent comment was not asking about that, but about whether we could even assume we could pick from a single set.


You're right, sorry.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: