ベルの不等式(ベルのふとうしき)とは、隠れた変数理論などの局所実在論が満たすべき相関の上限を与える式である。1964年にジョン・スチュワート・ベルによって導かれた。この不等式は実験に適していないので、後に多くの研究者がそれとは少し異なる形の不等式を導いた(ベル型の不等式と呼ばれる)。この不等式の実験的検証により、局所的隠れた変数理論は否定された。