[질문] 귀류법이뭐에요

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