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.