수학에는 수 많은 정리 들이 존재 합니다. 수학 교과서나 전공책에 있는 정리들은 수학자들에 의해 True (참)으로 증명 된 정리들입니다. 예를 들어 고등학교의 미적분학 책 등에서 볼수 있는 유명한 명제인 "미분가능하면 연속이다." 수학자들에 의해 참으로 증명 된 정리입니다.

그런데 수학자들이 이러한 수학적 명제들을 증명 할 때 선호(?) 하는 방법 중에 하나가 귀류법입니다. 아마도 그것은 귀류법이 증명을 하는데 있어 그만큼 강력하기도 하고 대학교에서 수학 과제등을 할 때 귀류법으로 모순을 보였을 때의 짜릿함을 못 잊어서 일 것도 같습니다.

그런데 귀류법의 논증 구조에 대해 오해하는 경우를 많이 보아서 ...