Re: Request for Reference/Link to example of defining a theory/logic.


Scott wrote:

Let's just say first-order logic is incomplete

Really? So all those textbooks proving the completeness theorem for FOL
are wrong??

.

Relevant Pages

  • Re: Request for Reference/Link to example of defining a theory/logic.
    ... Scott wrote: ... So all those textbooks proving the completeness theorem for FOL ...
    (sci.logic)
  • Re: Torkel Franzen on truth
    ... completeness theorem: IF it is inconsistent, ... to have human children with an infinitary brain-part. ... If a recursive set of first-order sentences is inconsistent then THERE ... of FOL, mainly because people don't seem to care much about any change ...
    (sci.logic)
  • Re: Provable in T?
    ... Gödel's Completeness theorem shows FOL can prove everything. ... statement in FOL can be shown to be exclusively True or False.) ... As the Wikipedia article you ...
    (sci.logic)