【哥德不完整性定理】
<P align=center><STRONG><FONT size=5>【<FONT color=red>哥德不完整性定理</FONT>】</FONT></STRONG></P> <P><STRONG>英語翻譯：Godelincompletenesstheorem</STRONG></P><P><STRONG></STRONG> </P>
<P><STRONG>【辭書名稱】資訊與通信術語辭典</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>任何一個內容足夠豐富的邏輯公理系統，例如二階述詞演算，或者是自身不一致的，即是存在這樣一個斷言，從該公理系統出發，既可推出此斷言為真，又可推出此斷言為假，或者是不完備的，即存在不能由該系統推出而實際上為真的斷言。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>因此，想從一個公理系統出發來推出整個數學的無矛盾性是不可能的。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG></STRONG> </P>轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary
頁:
[1]