Теріс және жалпы тұжырымды дәлелдеу мүмкін емес. Жеткілікті нақты белгіленген шекараларда жасалған нақты теріс мәлімдемелерді дәлелдеуге болады. Егер ізделетін аумақ нақты анықталған болса және іздеуге мүмкіндік беретін ақылға қонымды өлшем болса, онда теріс мәлімдеме дәлелденуі мүмкін.