무모순성

개요

consistency

無矛盾性

무모순성

• 공리 체계에서 어떤 문장과 그것의 부정이 동시에 성립하지 않는 일
• 어떤 공리계(公理系)에 있어서, 정리(定理)의 부정이 증명할 수 없는 것
• 어떤 문장과 그 문장의 부정이 동시에 그 공리계의 공리군(群)과 추론 규칙으로부터 한정된 회수의 절차로써 도출될 수 없는 것

같이 보기

• 무모순
• 일관성
• 정합성
• 무모순적 이론

참고

• 위키백과 "무모순성"
• 위키낱말사전 "무모순성"
• 다음사전 "무모순성"
• 다음백과 "무모순성"
• 네이버사전 "무모순성"
• 네이버백과 "무모순성"