여기 서 유클리드 는 어떠 한 사실 ( 두 수 가 서로 소임 ： A ) 을 증명 하 기 위하 여 우선 그 사실 의 부정 ( 두 수 가 서로소 가 아님 ：) 을 가정 한 다음 , 여기 서 모순 을 끌어내 었 다 . 즉 유클리드 증명 의 논리 구조 는 " 가 성립 하 지 않 는다 . 그러므로 A 가 성립 하 게 된다 " 이 다 . 이렇게 가정 에서 모순 을 끌 어 냄 으로써 반대 되 는 사실 을 증명 하 는 증명법 을 귀류법 ( 歸謬法 ： 모순 유도 법 ) 이 라고 부른다 . 이 귀류법 은 " A 가 성립 하 든지 A 가 성립 하 지 않 든지 둘 중 의 하나 는 반드시 성립 한다 ( AU = U ) " 는 법칙 , 즉 배중 률 을 응용 한 증명법 이 다 . 《 원론 》 에 는 이 귀류법 을 이용 한 증명 이 매우 많 다 . 이 는 《 원론 》 과 아리스토텔레스 논리학 과 의 관계 를 잘 보여준다 .