Friday 5 April 2013

Axiom, Theorem, Lemma, Corollary, Proposition ... The differences!

 Axiom
Generally accepted and recognized as truth. It's self-evident without proof.  For example, A and B implies A

Theorem (http://en.wikipedia.org/wiki/Theorem)
a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements, such as axioms.

Theorem Example


Lemma
usually it's small and used to support the proof of the larger theorem. And no interests of itself.
Proof of Theorem with support of Lemma

The Lemma A.1 used to prove above Theorem
Corollary
follows a Theorem, and easily deduced from the Theorem with little or no proof. Secondary result of the theorem

Corollary Example





Proposition
a generic term for a theorem of no particular importance and a theorem is regarded as the important result

No comments :

Post a Comment