BSTS / Mantık Terimleri Sözlüğü
eksiklilik kanıtsavı anlamı İng. incompletability theorem Alm. Unwollstaendigkeit-stheorem Fr. théorème d'incomplètude
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.