丘成桐在證明“正質量猜想”時也是使用錯誤的“反證法”：

假定A，推出B，得到C，B與已知的C矛盾，得到非A。

但是，丘成桐這個C也是假設的，有待證實的。犯了預期理由的邏輯錯誤。

反證法不能用一個假設推翻（否定）另外一個假設。只能用公理-定理-正確的客觀事實否定假設。

而丘成桐使用的是錯誤格式IOA：

大前提：有一個假定 ADM 質量小於零（特稱肯定判斷I）。

小前提：這個假定不能成立（否定判斷O）。

結論：正質量猜想成立.全稱肯定判斷A。

丘成桐這個薩比是這樣證明的：

Schoen 和 Yau 的證明採用的是反證法的思路， 即通過假定 ADM 質量小於零來推出矛盾， 其過程大致分為三步： 

首先， 他們證明了如果 ADM 質量小於零， 那麼在 Σ 中可以構造出一個特殊的二維極小曲面 S， 它在一個緊緻集之外滿足 R > 0。 在這一步中， 他們用到的是 Σ 漸近平直這一特點， 以及 R ≥ 0 這一來自主能量條件的推論。 由於 S 是極小曲面， 因此 S 的面積泛函的二次變分必定非負， 利用這一點， Schoen 和 Yau——作為第二步——證明了 S 的 Gauss 曲率 K 在曲面上的積分 ∫KdS > 0。 

在這一步中， 他們再次用到了 R ≥ 0 這一幾何條件， 以及第一步所得到的在 S 上的一個緊緻集之外 R > 0 這一構造性質。 

最後， 為了推出矛盾， Schoen 和 Yau 用兩種不同的方法——其中只用到了 Σ 的漸近平直性以及 S 的構造性質——證明了一個與 ∫KdS > 0 完全相反的結果， 即 ∫KdS ≤ 0。 這一矛盾的出現表明 ADM 質量小於零這一假設與證明過程中所用的其它假設不相容。

其它假設都是正質量猜想本身的假設。

反證法屬於否定結論，只能用第二格。

例如歐幾里得素數無窮多個反證法證明是這樣的（第二格）；
大前提：所有的合數都至少兩個素因數（全稱肯定判斷A）。
小前提：有一個合數n，一個素因數也沒有（特稱否定判斷O）注意：假定素數有限，最大素數記為P_k,那麼有無窮多個合數大於P_k，其中一個n，這個n=2x3x5x....xP_k+1,這個n大於最大素數是合數，並且與所有的素數互素。
結論：n不是合數（特稱否定判斷O）。
即AOO格式。第二格有兩條規則，第一，兩個前提必須有一個是否定判斷；第二，大前提必須是全稱判斷。第二格特點只能得出否定判斷。

現在我們陳述第一個定理：定理1。假設ds²............。

接下來的結果涉及一端總質量為零的情況。....。

為此，需在（1.1）中添加以下假設：....。

定理2。假設N是具有漸近平坦度.....。

假設x₁、x₂、x₃是Nk上的漸近平坦坐標。

假設這些坐標描述了....。

假設M<0且K^O與定理1矛盾。

證明過程分為三個步驟：第一步允許我們在...集外假設R > 0；

第二步利用M<0的假設證明存在完全面積最小化曲面；

第三步通過二階變分論證證明若R ^ 0則此情形不可能成立。

證明如下：設.....。