まず、中央に粒子の発光源を用意する。
そこから、スピン1/2の粒子が一重項状態で左右に飛び出す。右と左にスピン状態を計るメーターを用意する。

Ａでは二つのスピン方向aとa'をＢではbとb'を測定する。
ｎ番目の粒子のスピン成分(+1か-1)をa_n、a'_n、b_n、b'_nと表記する。
で、ｎ番目の実験について次のような式を作ってみよう。
γ_n＝a_nb_n+a_nb'_n +a'_nb_n-a'_nb'_n
さて、ここで十分に離れているＡの実験はＢの実験に影響を及ぼさないので、 a_n、a'_nとb_n、b'_nはそれぞれ依存せずに値を持つと考えられるので、γ_nは次のように変更できる。
γ_n＝a_n(b_n+b'_n)+a'_n(b_n-b'_n)
さて、ここでb_nとb'_nは同符号か異符号の場合しかないので、γ_nの値は+2か-2のみである。
ｎ個の事象の和を考えてみよう。
|(１/Ｎ)Σγ_n|＝|(１/Ｎ)Σa_nb_n+(１/Ｎ)Σa_nb'_n +(１/Ｎ)Σa'_nb_n-(１/Ｎ)Σa'_nb'_n|

Ｃ(a,b)＝lim(１/Ｎ)Σa_nb_n
Ｃ(a,b')＝lim(１/Ｎ)Σa_nb'_n
Ｃ(a',b)＝lim(１/Ｎ)Σa'_nb_n
Ｃ(a',b')＝lim(１/Ｎ)Σa'_nb'_n

そうするとＮ→∞の時に
|Ｃ(a,b)+Ｃ(a,b')+Ｃ(a',b)-Ｃ(a',b')|≦２

これがいわゆるベル不等式である。

さて、ここで、この式を量子力学に適用してみよう。
ここで、仮定しているような一重項の粒子においては量子力学では次のように書ける。

Ｃ(a,b)＝-cosθa_nb_n
Ｃ(a,b')＝-cosθa_nb'_n
Ｃ(a',b)＝-cosθa'_nb_n
Ｃ(a',b')＝-cosθa'_nb'_n

aとbを平行にとると
θa_nb'_n=θa'_nb_n=φ
θa'_nb'_n=2φ

Ｆ(φ)=|1+2cosφ+cos2φ|≦２

これが量子力学におけるベル不等式になる。
果たしてこの式は成立しているだろうか？ 明らかにＦ(φ)はφが０〜90°の間は2よりもおおきい。

さて、かくして明らかにＥＰＲの理論と量子力学は経験的に違うものであることが明白となった。 これを実際に試したものとしてアスペの実験が著名である。 この軍配は量子力学に上がった。 こうして、単純な古典的な描像は棄却されてしまった。

参考：不完全性・非局所性・実在主義　マイケル・レッドヘッド著　石垣壽郎訳　みすず書房