Codex Wiki OurBigBook logoOurBigBook.comSite Source code

Godel completeness theorem

For first-order logic, every sentence true in every model of a theory is derivable from that theory. Equivalently, every consistent theory has a model.

Ancestors (6)

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

Incoming links (4)