 Solution

Bell's theorem makes precise an obstruction to reproducing quantum correlations with a local causal completion. Let measurement settings be $a,b$, outcomes $A,B=\pm 1$ and a more complete state $\lambda$. Bell locality factorizes $P(A,B|a,b,\lambda )=P(A|a,\lambda )P(B|b,\lambda )$; setting independence takes the distribution of $\lambda$ to be independent of the freely chosen settings. These assumptions imply a Bell inequality. For example deterministic assignments satisfy $|A(B+B^{\prime })+A^{\prime }(B-B^{\prime })|\le 2$, and averaging gives the CHSH bound $|S|\le 2$. The stochastic version follows by averaging local response probabilities too.

An entangled spin singlet predicts $E(a,b)=-a\cdot b$ and suitable four directions give $|S|=2\sqrt{2}$. Thus the quantum predictions are incompatible with the stated local model, not merely with an unnecessarily specific mechanical hidden-variable proposal. Perfect anticorrelation in the EPR argument had motivated inferring pre-existing properties from remote predictions under locality and a completeness criterion. Bell shows that retaining such a local completion cannot recover the broader quantum correlation pattern.

It would overstate the result to say that it proves the impossibility of every hidden-variable theory. Bohmian mechanics supplies a nonlocal example, and rejecting setting independence or changing the causal model changes the theorem's premises. It would also be wrong to equate Bell locality with operational no-signalling. Quantum outcome probabilities at either wing can remain independent of the distant setting after averaging, even though the joint correlations have no local factorized explanation.

The theorem therefore sharpens the EPR dilemma: one cannot preserve all of the local causal assumptions and the quantum predictions. Empirical Bell violations bear on that conjunction. They do not alone choose one interpretation, make controllable superluminal communication available, or settle every philosophical sense of “realism.”^[ref][ref]