eksiklilik kanıtsavı ne demek?

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

eksiklilik

1. Tanıtlanamayan, çürütülemeyen bir formül içeren kuramın özelliği.

eksikli

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

Türetilmiş Kelimeler (bis)