The theory that a statement or a belief is true if and only if it coheres with a specified system of statements or beliefs.