Is it? I think the parent comment is saying: “maybe we shouldn’t want things that result in Banach-Tarski”

Maybe it’s a hint that the underlying axioms we’ve selected aren’t exactly what we want.

You’re right that we can’t pick and choose the results of our axioms, but we do explicitly get to pick and choose the axioms we start with. If we choose bad axioms, we get nonsensical results.

In general, it seems like we’ve picked _pretty good_ axioms that mostly give us sensible and useful results. But maybe this result that seems somewhat… odd, is an indication that those axioms have an odd corner somewhere.