更改

*孪生：这是可以“缠结”的两个基本粒子，并将它们隔开很大的距离，如果在平行方向上进行测量，它们具有相同的平方自旋结果。假设有两个实验者，如果第一个实验者a（在地球上）对这个框架（x，y，z）进行三重实验，得到结果：<math>x \rightarrow j, y \rightarrow k , z \rightarrow l</math>这是'''量子纠缠'''的结果。而第二个实验者b（在火星上，至少5光分以外）测量方向w的单一自旋，那么如果w是x，y，z中的一个，结果分别是<math>w \rightarrow j, k 或 l</math>。所以“孪生”公理指明离子间的纠缠关系，但是对于“孪生”公理来说，完全纠缠不是必需的（纠缠是充分不必要条件）。

*孪生：这是可以“缠结”的两个基本粒子，并将它们隔开很大的距离，如果在平行方向上进行测量，它们具有相同的平方自旋结果。假设有两个实验者，如果第一个实验者a（在地球上）对这个框架（x，y，z）进行三重实验，得到结果：<math>x \rightarrow j, y \rightarrow k , z \rightarrow l</math>这是'''量子纠缠'''的结果。而第二个实验者b（在火星上，至少5光分以外）测量方向w的单一自旋，那么如果w是x，y，z中的一个，结果分别是<math>w \rightarrow j, k 或 l</math>。所以“孪生”公理指明离子间的纠缠关系，但是对于“孪生”公理来说，完全纠缠不是必需的（纠缠是充分不必要条件）。

在他们2009年的论文“强自由意志定理”（<ref name = Later />）中，Conway和Kochen用一个更弱的定理“Min”代替了鳍公理。 Min断言：两个以类似空间的方式分离的实验者可以独立地做出测量结果的选择。 特别地，假定中所有信息的传输速度没有受到最大限制，而仅受有关测量选择的特定信息的限制。在2017年，Kochen辩称Min可以由Lin代替实验可验证（Lorentz covariance）。<ref name =":0"/>

在他们2009年的论文“强自由意志定理”<ref name = Later />中，Conway和Kochen用一个更弱的定理“Min”代替了鳍公理。 Min断言：两个以类似空间的方式分离的实验者可以独立地做出测量结果的选择。 特别地，假定中所有信息的传输速度没有受到最大限制，而仅受有关测量选择的特定信息的限制。在2017年，Kochen辩称Min可以由Lin代替实验可验证（Lorentz covariance）。<ref name =":0"/>

== 定理概要==

== 定理概要==