 Theory: Given a set of sentences \(\Gamma\) of a language \(L\) we say that \(\Gamma\) is a  theory[6]  if and only if it is closed under consequence; that is, for every \(\varphi \in \Sent(L)\): If \(\Gamma \models \varphi\) then \(\varphi \in \Gamma\).