공리는 참인 증명이 없음

이말은 귀류법을 통한 증명도 없음을 말함

이말은 공리를 부정해도 모순이 없다는 말임

부정해서 모순이 있으면 참인 증명이 생기므로

증명이 없다는 공리의 정의에 위배

따라서 부정해서 모순이 있으면 공리가 아님

- dc official App