|maths, logic a statement or formula that can be deduced from the axioms of a formal system by means of its rules of inference|
|[C16: from Late Latin theōrēma, from Greek: something to be viewed, from theōrein to view]|
theorem the·o·rem (thē'ər-əm, thēr'əm)
An idea that is demonstrably true or is assumed to be so.
A mathematical proposition that has been or is to be proved on the basis of explicit assumptions.