Those axioms really do lead to that conclusion. (I haven???t studied it in any detail, but my suspicion is the scariest conclusion you can draw from Banach Tarski is that you can give consistent answers to any finite sequence of questions regarding which of the six components contains point x,y,z in the original sphere.