수학에서 어떤 법칙이나 정리가 증명되었다는 것은 참이라고 알려진 어떤 가정으로부터 필연적인 논리의 결과를 보였음을 말한다.
Proving a law or theorem in mathematics indicates that the result of an inevitable logic from any assumption known to be true has been shown.