空间的有界子集定义什么叫做“体积”。证明是基于费利克斯·豪斯多夫早些时候的工作。他10年前发现一个类似的悖论，事实上，巴拿赫 - 塔斯基悖论正是豪斯多夫所用技术的一个推广应用。逻辑学家常常对逻辑上不一致的命题使用“悖论”一词，例如说谎者悖论或者罗素悖论。巴拿赫 - 塔斯基悖论并非这种意义上的悖论，它是一个已证明的定理，只因为违反直觉才被称为悖论。由于其证明明确地用到选择公理，这种反常的结论被用作反对使用该公理的理据。冯纽曼研究这个悖论时，创出了可均群的概念。他发现三维以上情形之所以产生悖论，和这