무모순적 이론

Jmnote (토론 | 기여)님의 2023년 4월 23일 (일) 19:21 판 (새 문서: ==개요== ;consistent theory ;無矛盾的 理論 ;무모순적 이론 * 거짓을 추론할 수 없는 이론 * 거짓을 추론할 수 없는 성질을 무모순성...)
(차이) ← 이전 판 | 최신판 (차이) | 다음 판 → (차이)

1 개요[ | ]

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

2 같이 보기[ | ]

3 참고[ | ]

문서 댓글 ({{ doc_comments.length }})
{{ comment.name }} {{ comment.created | snstime }}