Dizimsel Eksiksiz İlksavlı Kuram anlamı nedir?
- Her önermesi belirlenir olan tutarlı ilksavlı kuram kanıtlanamayan herhangi bir önermenin ilksavlar kümesine katılmasıyla dizimsel tutarsız duruma dönüşen dizimsel tutarlı ilksavlı kuram.
Mantık Terimleri Sözlüğü Tüm Liste »
Sayfa Yorumları