Definition:Theorem/Mathematics

Definition

The term theorem is used throughout the whole of mathematics to mean a statement which has been proved to be true from whichever axioms relevant to that particular branch.

Note that statements which are taken as axioms in one branch of mathematics may be theorems in others.

Also see

• Definition:Lemma

Sources

• 1982: P.M. Cohn: Algebra Volume 1 (2nd ed.) ... (previous) ... (next): Chapter $1$: Sets and mappings: $\S 1.1$: The need for logic