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 |
follows a Theorem, and easily deduced from the Theorem with little or no proof. Secondary result of the theorem
Corollary Example |
a generic term for a theorem of no particular importance and a theorem is regarded as the important result
No comments :
Post a Comment