Theorem Article Index for
Theorem 		Articles about
Theorem 		Website Links For
Theorem 		 

Information About

Theorem
  CATEGORIES ABOUT THEOREM
   
theorems
   
mathematical terminology
   
APPAREL
BABY
BEAUTY
BOOKS
CAR TOYS
CELL PHONES
DVD'S
ELECTRONICS
GOURMET FOOD
GROCERIES
HEALTH & PERSONAL
HOME & GARDEN
JEWELRY
MUSIC
MUSIC INSTRUMENTS
OFFICE PRODUCTS
SOFTWARE
SPORTING GOODS
TOOLS & HARDWARE
TOYS
VIDEO GAMES
SHOPPING HOME
MORE SHOPPING...



A theorem has two parts, stated in a formal language – a set of assumptions, and a conclusion that can be derived from the given assumptions according to the inference rules of the formal system comprising the formal language. The proof, though necessary to the statement's classification as a ''theorem'', is not considered part of the theorem.

In general, a statement must not have a trivially simple derivation to be called a theorem. Less important statements are called:
  • ''''' major result is another's minor claim. Gauss' Lemma and Zorn's Lemma , for example, are interesting enough '' Per Se '' that some authors present the nominal lemma without going on to use it in the proof of any theorem.

  • ''Corollary'': a proposition that follows with little or no proof from one already proven. A proposition ''B'' is a corollary of a proposition or theorem ''A'' if ''B'' can be deduced quickly and easily from ''A''.

  • ''Proposition'': a result not associated with any particular theorem.

  • ''Claim'': a very easily proven, but necessary or interesting result which may be part of the proof of another statement. Despite the name, claims are proven.

  • ''Axiom --- '': a very simple statement that is considered "self-proved"; i.e. not dependant on the conditions of any other statement. Every theorem should be proved based in axioms or other theorems.

  • ''Postulate --- '': a statement that is accepted without proof in certain context. Every axiom is a postulate, but theorems can be used as postulates in certain situations.


  • Axioms and postulates are not theorems, as all the others, but the base in which theorems are proved.''


A mathematical statement which is believed to be true but has not been proven is known as a Conjecture . Gödel's Incompleteness Theorem establishes very general conditions under which a formal system will contain a true statement for which there exists no derivation within the system.

As noted above, a theorem must exist in the context of some formal system. This will consist of a basic set of Axiom s (see '' Axiomatic System ''), as well as a process of Inference , which allows one to derive new theorems from axioms and other theorems that have been derived earlier. In Mathematical Logic , any provable statement is called a theorem. Informally speaking, most such theorems are not of any particular interest; 'theorem' used in this sense is a technical term indicating that a derivation exists and has none of the subjective connotations of importance as when the term is used in general mathematics.


SEE ALSO