eng

eksiklilik kanıtsavı ne demek?

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.

TDK Mantık Terimleri Sözlüğü

TDK Mantık Terimleri Sözlüğü İçerisinde Arama