First-order theory
= First-order theory
A first-order theory is a set of sentences in one first-order language. Depending on convention, the term may instead mean its deductive closure.
This is a <theory (mathematical logic)> formulated in <first-order logic>.