Understanding Mathematical Terms: Theorem, Corollary, Conjecture, Lemma, Axiom, and Proposition

In this video, I will explain the differences between a theorem, corollary, conjecture, lemma, axiom, and proposition. You need to know these terminologies if you are taking a class about proofs or discrete mathematics. A proposition is a statement that is either true or false. An axiom is a statement that we assume to be true (self-evidently true) and we do not need to prove it. A lemma is a small result that has been proved, and it is used to prove a theorem. A theorem is a significant result that has been proved. A corollary is a theorem that follows on from another theorem. A conjecture is something that someone (usually a famous person) says is true but they have not been able to prove or disprove it.