귀류법

공리를 부정해서 모순이 있으면-> 공리가 참인 증명이 있다

대우명제는

공리가 참인 증명이 없으면-> 공리를 부정해서 모순이 없다

그런데 공리는 원래 증명이 없음

따라서

모든 공리를 부정해도 모순이 없다

- dc official App