"不可能性证明"本身可能依赖不合理的假设

当有人说"X是数学上不可能的"，先检查这个证明的隐含假设——它可能排除了它声称要证明不可能的东西。冯·诺依曼的证明就是这样一个案例：它假设隐变量必须满足某种对称性，但这个假设本身就预设了隐变量不能存在。**科学史上的重大进步，往往始于对"不可能性证明"的质疑**。