귀류법은 이중부정이라 미적으로 떨어진다.


이게 맞다 vs 이게 아닌건 아니다 


후자는 듣자마자 거부감 들지 않냐? 맞다라고는 말하지 못한다는거지. 


통계 가설검정도 마찬가지지, “같다” 라고 하면 말이 안된다, 이중부정만 하고 절대 제대로 말하지 못함


귀류법을 인정하지 않는 직관주의 수학 응원한다.