Worlds of David Darling
Encyclopedia of Science
   
Home > Encyclopedia of Science

proof




A sequence of statements in which each subsequent statement is derivable from one of the previous statements or from an axiom of a formal system. The final statement of a proof is usually the theorem that one has set out to prove.


Related category

   • LOGIC