Theorems are environments which are commonly numbered. They are extensively used in math texts. Examples of such environments are theorems, corollaries, lemmas, propositions, remarks and definitions. This tag covers discussion on proofs as well.
Theorems are part of standard LaTeX. There are LaTeX macro packages providing further features, such as: