무모순성


개요

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

같이 보기

참고