爱因斯坦从定域论出发,认为量子力学对微观世界的描述,用波函数或者态矢量来描述是不完备的,其中应该还存在着不认识的隐参数。1964年,贝尔从定域实在论出发，得到结论若满足定域实在论,则任意的系统都应该满足下面的不等式,即贝尔不等式:

                                                （5）

其中 .发送者为Alice ,简称A；接收者为Bob，简称B。 是隐变量,  是其分布函数,  是Alice沿着a方向测量的相关a粒子的自旋结果,而 是Bob是沿着b方向测量的相关b粒子的自旋结果。