Definition:Theorem

General Definition
In all contexts, the definition of the term theorem is by and large the same.

That is, a theorem is a statement which has been proved to be true.

Mathematics
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.

It is possible (and this is the ultimate aim of ProofWiki) to justify basing the whole of mathematics on a handful of axioms.

Also see

 * Lemma


 * Corollary