丘成桐說：
1，卡拉比猜想實際上與蒙日-安培方程等價。

2，他花了將近3年時間，做了大量準備工作，發展了強有力的偏微分方程技巧，使用先驗估計方法，在1976年6月求解了這個非線性復蒙日-安培方程（至多有一個解）。

3，從而給出了卡拉比猜想的證明（實際上是：丘成桐證明了其流形上複數的蒙日—安培方程，至多只有一個解。

丘成桐說的【至多有一個解】的含義是：


1，否定至少有兩個或者兩個以上的解，最多一個解（上限）。




2，不能保證有一個解。很可能一個解也沒有（下限）。




就是說，如果沒有一個解的情況下，就不能說丘成桐解開了蒙日-安培方程。




為什麼？因為，【至多只有一個解】屬於或然性推理。或然性推理的前提與結論之間沒有蘊含關係，所以，數學定理必須是必然判斷。