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

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

但是，這個C也是假設的。

反證法不能用一個假設推翻（否定）另外一個假設。

根據反證法推理規則，兩個前提與一個結論，必須有兩個是真實的。

經過證實的：1，公理。2，定理。3，或者正確的客觀事實。

例如歐幾里得證明素數無窮多個；

A：假定素數有限。

B：構造一個數：n=P1xP2x...xPk+1。n大於最大的素數Pk，並且與所有的素數互素。

C：不存在與所有的素數互素的合數。

於是得到非A（素數無窮多個）。

B與C都是真實的。

-------------------------------------------

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

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 質量小於零這一假設與證明過程中所用的其它假設不相容。