Mathematical proof (source code)

= Mathematical proof
{wiki}

A mathematical proof is a finite deductive argument from stated assumptions to a conclusion.