Dicho teorema presupone que el valor de un conjunto de variables simultáneamente medibles tiene un valor concreto antes de la medida y obtiene una contradicción al comparar el resultado de ciertas medidas sobre el sistema.