Dahil dito , ito ay tahanan sa teoremang pagiging hindi kumpleto ni Kurt Godel na inpormal na nagpapahiwatig na ang anumang pormal na sistema na naglalaman ng basikong aritmetiko , kung mahusay ( sound ) na ang ibig sabihin ang lahat ng mga teorema na mapapatunayan ay totoo ) ay kinakailangang hindi kompleto na ang ibig sabihin mayroong mga totoong teorema na totoong teorema na hindi mapapatunayan sa sistemang ito.
