Man bezeichnet die Aussagen, Formeln, Modelle oder Systeme als konsistent, wenn sie "in sich stimmig" sind, wenn sie also keinen Unsinn ergeben, keine Widersprüche enthalten, mit der Realität im Einklang stehen bzw. keine undefinierten Zustände annehmen können.