A mathematical proof deductive argument for a mathematical statement showing that the stated assumptions logically guarantee the conclusion. The argument may use other previously established statements; but every proof can, principally, be constructed solely from a basic set of assumptions called the axioms, and well formed rules of inference.