Theorems and Proofs

There are different classifications of mathematical statements like propositions, claims, lemmas, corollaries and theorems. We discuss them in this chapter along with the ideal properties of proofs, about them being valid, rigorous and sound.