De hecho, la paradoja de Banach-Tarski demuestra que es imposible encontrar una medida finita aditiva (o una medida de Banach) definida en todos los subconjuntos de un espacio euclídeo de dimensión tres (o más) que sea invariante respecto a movimientos euclídeos y tome el valor uno en un cubo unidad.