Tümdengelimci bilimlerde önsayıtlar ya da kanıtlanmış önermelerden uygun çıkarım kuralları aracılığıyla türetilmiş bilgilerin tam doğruluğu.