consistency

in logic, property of a theory that does not contain a contradiction