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


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