哥德唔完備定理

出自維基百科,自由嘅百科全書

數學邏輯入面,哥德唔完備定理係指Kurt Gödel喺1931年證明同埋發表嘅兩條定理。簡單嚟講,第一條係話:

任何無矛盾嘅形式系統,只要蘊涵Peano算術公理,就可以喺入面整啲唔能夠被證明或者否證嘅命題,亦即係話,個系統係唔完備嘅。

第二條係話:

任何無矛盾嘅形式系統,只要蘊涵Peano算術公理,就唔可以用嚟證明佢自己嘅自洽性