Matematik ve mantık gibi formel bilimlerde bir önermenin doğruluğu, sistemin diğer önermeleriyle çelişmemesi temelinde değerlendirilir. Bu durum hangi doğruluk ölçütünü örneklemektedir?
