HomePage | Recent changes | View source | Discuss this page | Page history | Log in |

Printable version | Privacy policy

A theorem is a statement which can be proven true within some logical framework. Note that 'theorem' is distinct from, but related to, 'theory'.

In mathematics, a logical system consists of theorems built upon a basic set of axioms, as well as a process of inference used that links the axioms and the theorems together.

See also: