As such, it is home to Gödel's incompleteness theorems which (informally) imply that any effective formal system that contains basic arithmetic, if sound (meaning that all theorems that can be proved are true), is necessarily incomplete (meaning that there are true theorems which cannot be proved in that system).
Dǎɣ sund awen, aqalnat eɣaf ən təmkarawen waren imda ən Gödel itajan (as alməɣnat waren ikna)as aratay iknan ajətan ihan imaɗinan azukatnen, as asoɣat (awa dar tidila as timkarawen adobatnen adəkəlnat atwəsəkən aqalnat tidit), eqal tahašilt waren timda (awen dar tidila as əlanəti təmkarawen adutətnen waren adobat atwəsəkən dǎɣ wen mertay.