Tutarlılık yönü nedir?

dile getirilen ile yapılan arasında doğru orantı olması durumu. formal bir sistem için tanımlanan tüm kuralların tüm durumlar için geçerli olması, kuralların birbirleri ile çelişkili sonuçlar üretmemesi halidir.