La consistencia es una propiedad que debe tener todo cálculo en un sistema formal. El requisito de consistencia exige que en un sistema formal no haya ninguna fbf A tal que A y ¬A sean ambas teoremas.

En otras palabras, la consistencia exige que esté vigente en el sistema el principio de no contradicción: ¬(A∧¬A)

(v. sistema formal, teorema)