1樓：
公理取決於人類的認知範圍，公理是人類給做的定義，未必是客觀規律，這裡有個悖論，如果人類對宇宙的認知是有限的（更不必說什麼平行宇宙了），那麼意味著人類永遠無法了解宇宙全部客觀規律，可能也永遠無法證實絕對正確的「公理」是否存在（無法證明已知的公理在未知的宇宙中是否成立），這就像地心說對於中世紀的人類而言幾乎就是公理（只是舉個例子，事實上日心說的起源可以追述到古希臘年代）。
如果都以大劉的作品為基礎，那麼大劉說過神級文明可以改造數學規律用於攻擊，如果這個說法成立，那麼1+1顯然就不是公理了。
2樓：Bigan W
首先補習皮亞諾算術公理
總之在這個公理中我們定義了自然數
在自然數集上我們用遞迴定義了加法之後，1+1=2就是顯然的事了。這是從皮亞諾算術公理出發的1+1，這種情況下1+1=2是個定理不是公理
更一般的，我們選取乙個集合之後，在這個集合上滿足交換律結合律並且有零元（存在元素0使得任意元素X+0=X）的封閉二元運算。之後任選乙個非0元素，命名為「1」
此時1+1有三種情況
1+1=0（記不清但是反正有這樣的系統）
1+1=1（比如布林代數中的情況）
以上皆非（普通的自然數系統）
這三種情況可以建立三套不同的理論，在實際生活中，我們根據需要，選擇其中一套理論來使用
數學是乙個僅僅要求自洽的系統，和「我們這個宇宙的性質」以及「任意乙個宇宙的性質」都沒什麼關係。研究那些是物理的事，物理在需要的時候選一套相應的數學體系作為工具來用。僅此而已。
如何使用C 編寫乙個模板，可以同時適用於陣列和vector int 型別且避免資料的複製？
rayhunter 這個問題有意思，大佬們說的對。本身就應該寫兩個函式，但是非要從技術角度看。我想到的是傳位址解決拷貝問題，然後用引數自動推導，求得陣列大小 N模板特化來分支 仿函式，過載 操作，勉強滿足樓主要求。template T class SortFunctor template intN ...
想自己組裝乙個配置適用於玩遊戲的電腦主機，主要用於玩遊戲，3000 4000，求大神推薦？
前面幾位想法不錯，不過在我看完之前請先買到不到四百塊的影馳8GDDR4 下面我來個更便宜的吧 CPU 至強E3 1230V2 700主機板 微星B75ma p45 175記憶體 威剛8G 萬紫千紅1600 539SSD 西數120G 綠 399 硬碟 西數1TB 290 顯示卡 昂達GTX1050T...
托福和雅思哪乙個容易考？他們分別更適用於哪個國家？
Eric 每個人的擅長點不一樣，建議你都做幾套真題看下，你更喜歡那個考試的設定。雅思比較適合的國家和地區是 英國，澳洲，新加坡，中國香港等 托福更適合北美地區如美國和加拿大。有些學校專案雅思和托福都接受的，你可以具體看下，只是每個的分數要求不一樣。建議根據申請專業和國家定考試哦，不要單純看哪個好考。...