Difference between revisions of "Theory (mathematical logic)"
From Wiki @ Karl Jones dot com
Karl Jones (Talk | contribs) (Created page with "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 fro...") |
Karl Jones (Talk | contribs) |
||
| Line 12: | Line 12: | ||
* [[Axiomatic system]] | * [[Axiomatic system]] | ||
| + | * [[Deductive system]] | ||
| + | * [[Formal system]] | ||
* [[List of first-order theories]] | * [[List of first-order theories]] | ||
Latest revision as of 09:55, 13 September 2016
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
