"Kurt Gödel" tarafından ortaya çıkartılan teoremdir.
kısa bir anlatımla;
"tutarlı biçimsel bir sistem kurallara ve aksiyomlara dayanıyorsa bu sistem kesinlikle karar verilemeyen (ne doğru ne de yanlış olduğu kanıtlanabilen) önermeler içerecektir." * http://tr.wikipedia.org/wiki/Eksiklik_Teoremi