first-order theory

<logic> A formal system of first-order predicate logic in which (1) there may be countably many new individual constants in the formal language, provided they are effectively enumerable, and (2) there may be countably many proper axioms to supplement the logical axioms.

[Glossary of First-Order Logic]

<2001-03-16>

Try this search on OneLook / Google

Nearby terms: first-order « first-order logic « first-order predicate logic « first-order theory » first-order theory with identity » five ways » fix