In mathematical logic, a theory is a set of sentences in a formal language. In most scenarios a deductive system is first understood from context, after which an element \phi \in T of a deductively closed theory T is then called a theorem of the... Wikipedia