eksiklilik ne demek?

eksiklilik kanıtsavı

1. Doğal sayılar kuramını kapsayan bir biçimsel kuramın yorumsal eksiksiz olamayacağını dile getiren kanıtsav (Gödel-Rosser); Doğal sayılar kuramını kapsayan her ilksavlı kuramın doğru ama kanıtlanamayan bir önermesi olduğunu dile getiren kanıtsav.
2. Incompletability theorem.
3. Théorème d'incomplètude

eksikli

1. Kendisine bir şey gerekli olan, muhtaç.
2. Kadın.