> I was taught that dropping the axiom of choice was enough to make Banach-Tarski go away. That seems considerably short of "there is no such thing as an infinite number".
The Banach-Tarski theorem is not the only theorem out there that bothers some people. Anything to do with infinities gets a large number of outraged rejections.