논리일관성,logical_consistency

논리적 일관성

어떤 논리체계가 일관성을 가진다는 것은,
서로 모순,contradiction되는 두 명제,proposition가 동시에 그 체계속에서 용납되는 일이 없다는,
즉 명제 A와 ~A가 모두 그 체계 속에서 공리,axiom 혹은 정리,theorem일 수 없다는 것.
(교육학용어사전)

고전적 연역논리(classical deductive logic)에서, 일관적이론,theory은 논리적 모순에 이르지 않는다.
(wpen)

무모순적(=일관적) 이론에서는 스스로와 그 부정,negation을 모두 증명,proof할 수 있는 문장,sentence이 없다.
(wpko)

axiomatic_system에서 모순,contradiction의 부존재(absence)가 일관성이라고 알려져 있다.
(WM)

그럼 logical consistency는 logical system, axiomatic system의 성질?