무모순적 이론

1 개요

consistent theory

無矛盾的 理論

무모순적 이론

• 거짓을 추론할 수 없는 이론
• 거짓을 추론할 수 없는 성질을 무모순성(無矛盾性, 영어: consistency) 또는 일관성(一貫性)이라고 한다.
• 무모순적 이론에서는 스스로와 그 부정을 모두 증명할 수 있는 문장이 존재하지 않는다.
• 반대로 모순적인 이론은 모든 문장이 증명 가능하므로 무의미한 이론이 된다.

2 같이 보기

• 이론
• 일관성
• 무모순성
• 무모순적
• 괴델의 불완전성 정리에

3 참고

• 다음사전 "무모순적 이론"
• 다음백과 "무모순적 이론"
• 네이버사전 "무모순적 이론"
• 네이버백과 "무모순적 이론"