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

theorem




A major mathematical proposition that has been proved correct. More precisely, a statement in a formal system for which there exists a proof; in other words, a statement implied by a set of postulates, or axioms. On the its dependence on the axioms is proved, a newly-discovered theorem becomes a potential stepping-stone to the discovery and proof of other, similarly dependent, theorems.


Related entries

   • conjecture
   • lemma


Related category

   • LOGIC