Difference between revisions of "Theorem"

m (Added page to Mathematics and Proofs categories)
(Added notes about types of theorems)
 
Line 1: Line 1:
 
{{stub}}
 
{{stub}}
  
A '''theorem''' is a demonstrated result of a set of [[axiom]]s.
+
A '''theorem''' is a demonstrated result of a set of [[axiom]]s. Theorems may also be known as [[lemma|lemmas]], if they are intended to be used as part of the proof of another theorem; or they may be known as [[corollary|corollaries]], if they are an immediate consequence of some other theorem.
  
 
[[Mathematics]] is in large part the process of proving new theorems.
 
[[Mathematics]] is in large part the process of proving new theorems.

Latest revision as of 00:54, 14 June 2008

This article is a stub. Help us out by expanding it.

A theorem is a demonstrated result of a set of axioms. Theorems may also be known as lemmas, if they are intended to be used as part of the proof of another theorem; or they may be known as corollaries, if they are an immediate consequence of some other theorem.

Mathematics is in large part the process of proving new theorems.

See also