1樓：
加上限定之後，1＋1可以不等於2，比如在布林代數中1＋1等於1。這個要看定義，在不同的定義中1不一定表示數量，＋也可以有其他含義，所以1＋1不等於2很正常。
最後說一下1＋1在代數運算中為啥等於2的問題。這個玩意不是什麼未解的謎題，我都見過至少三種不同的證明方式。
證明思路在於嚴格定義1是什麼意思，＋是什麼意思，然後根據定義推導出1＋1是什麼結果。可以看出是乙個很無聊的證明過程，有點先射箭再畫靶子的感覺。畢竟剛才說了，在某些定義下，1＋1可以不等於2。
不嚴格地說，1是乙個數學符號，具體含義視應用場景而定，它屬於乙個名為正整數的集合之內。對於正整數中的任何乙個元素，都有唯一的後繼元素，比如1的後繼元素是2。＋的含義分為兩種情況，這裡只用到其中一種：
任何乙個正整數＋1都等於它的後繼 。那麼1＋1=2這個結論就很顯然了。
當然上面的定義不完整，上面的定義不能證明2＋1不等於2，畢竟它沒有說明只有1的後繼是2。它也不能證明1＋2=2＋1，原因在於它沒有定義1＋2是什麼意思。完整的定義可以自己去搜皮亞諾算術公理系統。
可以看出，數學對於運算的定義可以很隨便，但一定要完整說明運算的各個性質，否則互相之間無法交流。通常情況下，因為算術運算用得最多，所以說到加減乘除的時候，預設採用算術運算。
如果1是2的話，1 2等於幾？
Theorem answer 1 2 1 2 114514 Proof intros discriminateH.Qed. 那2呢？如果只有1變成了2，其他都沒有改變，那麼1 2 4如果1變成了2 而2變成了3，以此類推，那麼變了之後的 1 2 現實中的 2 3 現實中2 3 5 所以變了之後的 1...
如果 1 1 等於 3，其他不變，比如 1 2 還是等於 3，那世界會是什麼樣的？
遠南侯御殿羽將軍 世界執行邏輯將無法自洽進去混亂 簡單點1 1 3 1 2 3 也即2 1 那麼問題來了 2 2 4 1 1 1 2 請問這該如何邏輯自洽 Scyee 崩潰，毋庸置疑。其他不說，1 1等於3，1 2也等於3，在數學上2就變成了1，那麼3會變成乙個偶數 畢竟1 2，所以3可以是2 2 ...
1 3等於0 333迴圈，0 333迴圈 3等於0 999迴圈，那為什麼不是1了？
Doream Leo 說到底是小數這種表示方式不完備的問題，用分數形式一點問題也沒有，用小數表示數字就完蛋。0.333 這樣比較直觀的還好，0.1428571 7等於幾，你能用算式計算出來？所以0.9的迴圈等於1這件事，難倒無數小學生也是正常。因為引入小數這件事，要解釋它本身就超出普通數學的範疇了。...