1樓：玖梅
可以，之所以是要包含初等算術的系統就是因為這個強度的系統可以表達哥德爾編碼從而實現自指，無法表達哥德爾編碼的系統是可以完備又自洽的。
2樓：bixi
第一不完全定理是用自指示構造的，這個自指示的命題似乎意義不明。但第二不完全定理指出，任何乙個表達力足夠強的一致的系統，都可以在系統內形式地證明，這個系統的一致性不可證。一致性不可證顯然是乙個有明確意義且非常重要的判斷，不能簡單地說忽略掉一些稀奇古怪的自指示命題後，大部分正常的命題都是可證的。
而且不完全定理表明自然數理論不可判定，因而不是遞迴可公理化的，也就是說不止是PA不完全，往裡面加一些東西後(保證公理集是遞迴的)還是不完全的。如果只存在少量PA不可證的命題，我們當然可以把這些命題加到公理系統中，但不完全定理表明這樣的嘗試沒用。
3樓：楊學志
不完備不是什麼大事： 「羅素悖論」的提出給數學界帶來何種影響，如何通俗地理解這一悖論？ - 楊學志的回答 - 知乎 https://www.
能否通過用mathematica畫圖來求某函式的定義域？
歐比旺麥格雷戈 畫圖來找定義域並不準確，但可以在最開始讓人對函式定義域有乙個大致的了解。因為個別無定義的點可能會漏掉。這個函式在 處是沒有定義的，這很好理解，因為分母等於0了。但是從影象上卻只能看出 是沒有定義的，為什麼？因為 和 是該函式的兩個性質不同的奇點。是乙個可去奇點，而 是乙個極點。奇點就...
大學期間能否通過選課來調整績點？
我覺得可以，真實經歷，大學有些時候是看老師怎麼給分，我們學校選課就會先了解哪些老師給分比較高，同宿舍的室友，英語比我努力，可是老師太嚴格，績點就給得很低，而我遇到了個比較松的老師，給分很高，班上幾乎滿績。很大程度上是選老師 飄搖的乙隻C 首先你要知道自己提高績點是為了什麼，然後這個最好和輔導員老師溝...
能否通過獲得澳洲CPA來曲線獲得ACA資格？
Ryan Yan 學會計的人都猴精猴精的。如果存在一種可以通過較少投入卻能實現同樣產出的捷徑的話，要麼這條所謂捷徑根本就不成立，要麼很快就會被封堵。此外，一般來說會計資格的轉換只能用一次。如果你用A資格通過互認協議拿到了B資格，通常是不能再根據B和C之間的協議再轉成C的。這樣的協議中大都有一項條款，...