consistency

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

카테고리: