Which rests on the grossly-unphysical "Axiom of Choice". That doesn't disprove cousin_it's point. Though it's still an interesting link, if that's why you're posting it.

Almost all people use mathematics where "Axiom of Choice" is set to be true. It is grossly-unusual to consider systems without that axiom.

If you are not a mathematician chances are you've never encountered a system based on axioms without "Axiom of Choice" (for systems where it is applicable at all).

I agree it's "grossly-unphysical", but you can do hardly any math without it. Now try to do physics (or computer science) without math.