【哥德不完整性定理】

豐碩

【哥德不完整性定理】

 

英語翻譯：Godelincompletenesstheorem

 

【辭書名稱】資訊與通信術語辭典

 

任何一個內容足夠豐富的邏輯公理系統，例如二階述詞演算，或者是自身不一致的，即是存在這樣一個斷言，從該公理系統出發，既可推出此斷言為真，又可推出此斷言為假，或者是不完備的，即存在不能由該系統推出而實際上為真的斷言。

 

因此，想從一個公理系統出發來推出整個數學的無矛盾性是不可能的。

 

 

轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary