我以前說過：

1， 邏輯問題， 數學思維必須符合邏輯，演繹證明某事肯定是這樣，歸納說明某事在實際上是

有效的，溯因僅僅表明某事可能是，所以溯因是推理中較弱的一種形式。

演繹是從一般到特殊，歸納是從很多特殊到某一個一般。但是，溯因邏輯是從一個現象或者一

個事實，反推出可能存在的原因

2，命題問題， 溯因整理成為一個命題叫做猜想。

3，命題證明問題，證明一個猜想是告訴你結果，讓你按照規則找出原因-過程的必然性，把道

理講清楚。

我們證明一個數學命題就是一種整體上弱勢溯因推理，每一個局部需要強勢演繹推理，這是無

法克服的困難----超出了人類解決問題的能力！好比一個飯都吃不飽的病人，你要求他力大無

比，扛起300斤。況且，，一個事實可能有多種原因，我們要找到那個必然的原因，並且用演

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

4，數學定理要求，數學定理必須是全稱判斷，結論是全稱肯定判斷的正確三段論只能是第一

格的AAA式。這是絕大多數數學命題證明無法做到的。

5，證明中使用“估計”是一個模糊概念，預期理由，暗含“假定存在”的非邏輯前提。不能作為一個正

確的數學證明。數學證明不能是或然判斷，需要必然判斷。

韋東奕的證明居然是使用“估計”，這個笨蛋也配搞數學？