Eksiklilik Kanıtsavı anlamı nedir?
- 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.
Mantık Terimleri Sözlüğü Tüm Liste »
Sayfa Yorumları