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


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