The proof of a mathematical theorem is a logical argument for the theorem statement given in accord with the rules of a deductive system.
The proof of a mathematical theorem is a logical argument demonstrating that the conclusion is a necessary consequence of the hypotheses. This argument is in accord with the rules of a deductive system.