我以前说过：

1， 逻辑问题， 数学思维必须符合逻辑，演绎证明某事肯定是这样，归纳说明某事在实际上是

有效的，溯因仅仅表明某事可能是，所以溯因是推理中较弱的一种形式。

演绎是从一般到特殊，归纳是从很多特殊到某一个一般。但是，溯因逻辑是从一个现象或者一

个事实，反推出可能存在的原因

2，命题问题， 溯因整理成为一个命题叫做猜想。

3，命题证明问题，证明一个猜想是告诉你结果，让你按照规则找出原因-过程的必然性，把道

理讲清楚。

我们证明一个数学命题就是一种整体上弱势溯因推理，每一个局部需要强势演绎推理，这是无

法克服的困难----超出了人类解决问题的能力！好比一个饭都吃不饱的病人，你要求他力大无

比，扛起300斤。况且，，一个事实可能有多种原因，我们要找到那个必然的原因，并且用演

绎推理证明就是它。好比逆水行舟,盲人摸象。

4，数学定理要求，数学定理必须是全称判断，结论是全称肯定判断的正确三段论只能是第一

格的AAA式。这是绝大多数数学命题证明无法做到的。

5，证明中使用“估计”是一个模糊概念，预期理由，暗含“假定存在”的非逻辑前提。不能作为一个正

确的数学证明。数学证明不能是或然判断，需要必然判断。

韦东奕的证明居然是使用“估计”，这个笨蛋也配搞数学？