귀류법: 두 판 사이의 차이

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