eksiklilik kanıtsavı
eksiklilik kanıtsavı İng. incompletability theorem
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.
eksiklilik kanıtsavı için benzer kelimeler
eksiklilik kanıtsavı, 20 karakter ile yazılır. Ayrıca,
e harfi ile başlar, ı harfi ile biter. Tüm karakter dağılımı ise,
'e', 'k', 's', 'i', 'k', 'l', 'i', 'l', 'i', 'k', ' ', 'k', 'a', 'n', 'ı', 't', 's', 'a', 'v', 'ı', şeklindedir.
eksiklilik kanıtsavı kelimesinin tersten yazılışı ıvastınak kililkiske diziliminde gösterilir.