Theory (mathematical logic)
From Wiki @ Karl Jones dot com
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 ϕ ∈ T of a theory T is then called an axiom of the theory, and any sentence that follows from the axioms ( T ⊢ ϕ is called a theorem of the theory.
Every axiom is also a theorem.
A first-order theory is a set of first-order sentences.
See also
External links
- Theory (mathematical logic) @ Wikipedia.org
