Comment by BalinKing

But isn't Banach-Tarski one of the main reasons why AoC is highly contested in the first place? (I don't know much about higher math, so this only my amateur impression.)