※ 引述《evernever (生平無大志)》之銘言：
: 餓死抬頭
: 舉例說明公理系統一致性(Consistency)與完備性(Completeness)的意義。為
: 何公理系統要討論一致性和完備性?
: 急用 = ="
目前只想到Godel所證的算術不完備性
這只是個人想法喔，也只是一個參考喔，不是標準答案喔。
比如說現在有一個公理系統Q好了，那這個系統內有一些公理A,B,C...
因為它被定義為公理，所以問題來了，我們就要去檢驗到底這些ABC...之間有沒有矛盾，
就是一不一致，到底可不可以被證出來是一致的呢？
那Godel證出算術系統公理之間確實有地方是不能被證出來它到底是不是一致的，
因此這個就被稱為一個系統是不完備的。
這是我目前所想到的，其實同學們也可以翻翻書後面的索引，通常大陸書比較會收。
找一致性和完備性的頁數，在從中推敲一下應該就有答案了吧。
*_____*
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.135.8.239