Codex Wiki OurBigBook logoOurBigBook.comSite Source code

Consistent first-order theory

A theory is consistent when it does not derive a contradiction. By first-order completeness, this is equivalent to having a model.

Ancestors (7)

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