喺數學邏輯入面，哥德唔完備定理係指Kurt Gödel喺1931年證明同埋發表嘅兩條定理。簡單嚟講，第一條係話：
任何無矛盾嘅形式系統，只要蘊涵Peano算術公理，就可以喺入面整啲唔能夠被證明或者否證嘅命題，亦即係話，個系統係唔完備嘅。
解題：情況A若為真,系統無法證明，個系統係唔完備；情況B若為假，能被證明真，個系統矛盾。
第二條係話：
任何無矛盾嘅形式系統，只要蘊涵Peano算術公理，就唔可以用嚟證明佢自己嘅自洽性。
解題：任何足夠强大的形式系統，若自洽則必然不完善。系統不可能完全理解自己。
