不是一回事验证一般是指把一特殊值代入到一个普遍的公式里,能使这个公式成立而证明是通过严格的数学推理,得到一个普遍的结论比如著名的歌德巴赫猜想，人们代入了数以万计的数字验证这个定理都是对的，但是没有严格的理论证明它也只能叫做猜想．
