귀류법은 무척 흔히, 그리고 쉽게 사용할수 있는만큼 교과과정의 수학만 공부했다고해도 알고 있는 논법이지만 사실은 굉장히 강력한 두얼굴의 논법이다.  증명 효율을 엄청 높여준다. [P=>Q] 를 보일 때 조건 P만 이용할 수 있는 것이 아니라 ~Q 또한 이용할 수 있기 때문에... 반면에 매우 큰 단점이 존재하는데 중간에 쓸모없는 명제가 계속해서 튀어나온다는 것. 귀류법을 선언한 순간 세상 모든게 모순 투성이가되어서 p로부터 얻을수 있는 결론들을 얻지 못 함. 문제 하나만 풀고자 한다면 별 상관 없을수 있으나 어떤 이론을 탐구하고있다면 말이 달라진다... 

수학갤은 많이 변질됐다는 느낌인데 여긴 글 리젠은 적어도 순수수학 얘기가 주를 이루는것 같아서 찌끄려봄