|a set of elements capable of being completely counted and not zero|
|a function having the dependent variable expressed directly in terms of the independent variables, such as y = 3x + 4|
|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.