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)表明