first-order theory(redirected from List of first-order theories)
Also found in: Wikipedia.
first-order theory[¦fərst ‚ȯrd·ər ′thē·ə·rē]
A logical theory in which predicates are not allowed to have other functions or predicates as arguments and in which predicate quantifiers and function quantifiers are not permitted.
A theory which takes into account only the most important terms, such as the term proportional to the independent variable in the series expansion of a function appearing in the theory.