증명

proof

“	"증명이란 수학자가 앞에 두고 스스로를 고문하는 우상이다."	”
	— -아서 에딩턴

설명

간단히 말해, 어떤 것이 참인지를 보여주는 것. 다만 수학의 기호의 정의(定義)등은 약속이기 때문에, 증명할 수도 없고, 그것을 증명한다는 것 자체가 어폐가 있으므로 주의.

특정한 공리들을 가정하고, 그 가정 하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.

증명이 끝나고 검증을 하는데 오류가 발견되면 미칠 지경이라 하더라. 증명이 조오오오온나게 긴 경우가 있다. 예로 들어 페르마의 마지막 정리가 있다.