Theory (mathematical logic)
= Theory
{disambiguate=mathematical logic}
{wiki}
A <theory (mathematical logic)> is a set of sentences in a formal language, sometimes understood to be closed under deduction. A <first-order theory> uses a first-order language; consistency and completeness are separate properties of a theory.