eksiklilik ne demek?
- Tanıtlanamayan, çürütülemeyen bir formül içeren kuramın özelliği.
eksiklilik kanıtsavı
- 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.
- Incompletability theorem.
- Théorème d'incomplètude
eksikli
- Kendisine bir şey gerekli olan, muhtaç.
- Kadın.