Assertion: logic's theorem | /r/Synonym | the banach–tarski paradox
Facets:
Source sentences:
text: This theorem, known as the Banach–Tarski paradox, is one of many counterintuitive results of the axiom of choice.