first-order theory

References

first-order theory

logic

Written by

The Information Architects of Encyclopaedia Britannica

Learn about this topic in these articles:

metalogic
Background and typical problems
A first-order theory is determined by a language and a set of selected sentences of the language—those sentences of the theory that are, in an arbitrary, generalized sense, the “true” ones (called the “distinguished elements” of the set). In the particular case of the system N,…
Read More
A first-order theory is determined by a language and a set of selected sentences of the language—those sentences of the theory that are, in an arbitrary, generalized sense, the “true” ones (called the “distinguished elements” of the set). In the particular case of the system N,…
Read More