Proof

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A finite, ordered sequence of formulas in a formal system where each formula is either an axiom or follows from earlier formulas by an accepted rule of inference, and the sequence ends with the formula being established as proved.