In logic, property of a theory that does not contain a contradiction.