그것이 직관주의 논리학에서의 이중부정 소거법칙 거부니까...


선험적 직관으로 명석하고 확실하게 연역되는 구성가능한 논리에서 배중률은 결정불가능한 영역에서 모순 유도가 불가능하다는 점에서 보존될 수 없음