Tümdengelimci bir dizgede bir vargı ya da kanıtsavın önsayıtlara aykırılığını gösterme, bk. doğrulama.