eksiklik teoremi

• kurt gödel tarafından oluşturulan matematik teoremi.
  
  basitçe der ki:
  hiç aksiyomatik sistem tam değildir, yani sistem dahilinde oluşturulan teoremlerin en az birinin doğru olduğu sistem içinde kanıtlamaz. bundandır ki doğru olup olmadığına karar verilemez. başka bir deyişle sistem dahilinde yazılabilen teoremler kümesi t ise ve sistem içinde kanıtlanabilen teoremler kümesi d ise d her zaman t nin bir alt kümesidir^*.
  
  (bkz: gödel teoremi)