【哥德不完整性定理】
英語翻譯：Godelincompletenesstheorem
【辭書名稱】資訊與通信術語辭典
任何一個內容足夠豐富的邏輯公理系統，例如二階述詞演算，或者是自身不一致的，即是存在這樣一個斷言，從該公理系統出發，既可推出此斷言為真，又可推出此斷言為假，或者是不完備的，即存在不能由該系統推出而實際上為真的斷言。
因此，想從一個公理系統出發來推出整個數學的無矛盾性是不可能的。
轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary
| 歡迎光臨 【五術堪輿學苑】 (http://aa.wsky.ink/) | Powered by Discuz! X3.1 |