Can you summarize the following document?
        
  贝尔不等式为:|Pxz-Pzy|≤1+Pxy。  其中,Ax为正的意思为在x轴上观察到A量子的自旋态为正,而Pxz代表Ax为正和Bz为正的相关性。  在古典力学中,此不等式成立。在量子世界中,此不等式却不成立。  贝尔定理意味着,阿尔伯特·爱因斯坦所主张的定域性原理,其预测不符合量子力学理论。由于很多实验的结果与量子力学理论的预测一致,显示出的量子关联远强过定域隐变量理论所能够解释,所以,物理学者拒绝接受定域实在论对于这些实验结果的解释。陷入找不到满意解答的窘境,物理学者只能无可奈何地勉强承认这是一种非因果关系的超光速效应。  贝尔定理可以应用于任何由两个相互纠缠的量子位元所组成的量子系统。最常见的范例是纠缠于自旋或偏振的粒子系统。  继续发展爱因斯坦-波多尔斯基-罗森佯谬(简称EPR佯谬)的论述(但是选择采用自旋的例子,如同戴维·玻姆版本关于EPR吊诡的论述),贝尔精心设计出一个思想实验:从衰变生成的两颗处于单态的自旋1/2粒子会分别朝着相反方向移动,在与衰变地点相隔遥远的两个地点,分别沿着独立选择的直轴测量两个粒子的自旋,每一次测量得到的结果是「向上自旋」(标记为「+」)或「向下自旋」(标记为「−」)。  在两个地点测量得到一致结果的几率,会因为两根直轴 formula_1 与 formula_2 之间的夹角角度 formula_3 而变化,除了平行或反平行的设置( formula_3 为0°或180°),会遭受到不确定性。所以,贝尔定理只能应用于从多次测量得到的统计结果。现在设定实验规则,假设爱丽丝与鲍伯分别独自在这两个地点测量,若在某一次测量,爱丽丝测量的结果为向上自旋,而鲍伯测量的结果为向下自旋,则称这两个结果一致,相关系数为"+1",反之亦然;否则,就像如下,若爱丽丝与鲍伯测量的结果都为向上自旋或都为向下自旋,则两个结果不一致,相关系数为"-1"。那么,假设 formula_1 与 formula_2 相互平行,则测量这些量子纠缠粒子永远会得到一致的结果(完全相关);假设两根直轴相互垂直,则只有50%几率会得到一致的结果,得到不一致结果的几率也是50%。以下列出这些基本案例: 如右图所示,假设两根直轴的夹角角度 formula_3 在上述基本案例角度之间,则局域隐变量理论的成立意味着量子相关性呈线性变化。但是根据量子力学理论,量子相关性应呈角度的余弦 formula_8 变化。重要关键是,实际纠缠实验结果支持量子力学理论的预测。  贝尔推导出定域实在论会产生的结果。在这导引内,除了要求基本的一致化以外,不做任何其它特别的假定,贝尔发现的数学问题,很明显地不同于量子力学的预测,更不同于稍后得到的实验观测结果。这样,贝尔定理排除了定域隐变量为量子力学的可信解释,虽然非定域隐变量理论的大门仍旧敞开无碍。贝尔结论:  这些年来,有许多实验企图验证贝尔定理,并得出贝尔不等式被违背的实验数据。但很多关于这些实验的不足之处都已被找到,包括「侦测漏洞」、「通讯漏洞」等等。由于科技的进步,实验也逐步的改良,更能够针对这些漏洞给予补足。截至公元2014年,没有任何实验能够完全地补足这些漏洞。当时的物理学家相信,完美的贝尔定理实验可以在5年内出现,主流量子力学教科书也已将贝尔定理视为基础物理定理。但是,没有任何物理定理能够毫无疑问的被接受;仍有些物理学者反驳,贝尔定理隐藏的假定或实验漏洞否定了理论的正确性。  公元2015年,台夫特理工大学的罗纳德·汉森等人在《自然》的封面文章表示,成功关闭所有漏洞,表明量子理论比定域性隐变量理论更准确地描述量子纠缠现象。

  以下列出一些专门为一般读者所撰写、涉及贝尔定理的著作:
在理论物理学里,贝尔定理(英语:Bell's theorem)表明