Difference between revisions of "Theorem"

(See also)
(Added notes about types of theorems)
 
(One intermediate revision by the same user not shown)
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.
Line 9: Line 9:
 
* [[Proof writing]]
 
* [[Proof writing]]
  
[[Category:Definition]]
+
[[Category:Definition]] [[Category:Mathematics]] [[Category:Proofs]]

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