formal theories

In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually a deductive system is understood from context. An element of a theory is then called an axiom of the theory, and any sentence that follows from the axioms () is called a theorem of the theory. Every axiom is also a theorem. A first-order theory is a set of first-order sentences.