어떤 명제가 참임을 증명하려 할 때 그 명제의 결론을 부정함으로써 가정 또는 공리등이 모순됨을 보여 간접적으로 그 결론이 성립한다는 것을 증명하는 방법
[무물보AI] 답변 로딩중...