喺數學邏輯入面，哥德唔完備定理係指Kurt Gödel喺1931年證明同埋發表嘅兩條定理。簡單嚟講，第一條係話：
任何無矛盾嘅形式系統，只要蘊涵Peano算術公理，就可以喺入面整啲唔能夠被證明或者否證嘅命題，亦即係話，個系統係唔完備嘅。
第二條係話：
任何無矛盾嘅形式系統，只要蘊涵Peano算術公理，就唔可以用嚟證明佢自己嘅自洽性。
