귀류법

위키백과 ― 우리 모두의 백과사전.

귀류법(문화어: 귀유법), 배리법은 증명하려는 명제의 부정이 참이라는 것을 가정하였을 때 모순되는 결과가 나온다는 것을 보여, 원래의 명제가 참인 것을 증명하는 방법이다. 귀류법은 유클리드가 2000년전 소수의 무한함을 증명하기 위해 사용하였을 정도로 오래된 증명법이다.