귀류법

한 명제를 부정하면 모순이 생긴다는 것을 이끌어냄으로써, 간접적으로 그 명제가 옳다는 것을 증명함. 또는 배리법이라고 함