Codex Wiki OurBigBook logoOurBigBook.comSite Source code

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.

Ancestors (6)

  1. First-order logic
  2. Mathematical logic
  3. Foundations of mathematics
  4. Area of mathematics
  5. Mathematics
  6. Home

Incoming links (1)