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

Also on this site:

Encyclopedia of Alternative Energy & Sustainable Living
Encyclopedia of History

BACK TO TOP