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
Related category LOGIC
Home • About • Copyright © The Worlds of David Darling • Encyclopedia of Alternative Energy • Contact