proof A way of establishing the truth of mathematical propositions. (Traditional definition:) A sequence of statements, starting with some premises and ending with the desired conclusion, and satisfying certain ‘rules of inference’. (Better definition:) A computation that models the properties of some abstract entity, and whose outcome establishes that the abstract entity has a given property.
