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

Peter_Smith wrote:
Scott wrote:

Let's just say first-order logic is incomplete

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

Maybe you should ask him what he means by "incomplete" (small "i")? Or
even capital "I" as in Godel's Incompleteness Theorem?

BTW Any textbook that "proves" the Invariance Theorem is wrong.

If you think questions of Logic are resolved by majority vote then you
are no scientist, my friend!

"In questions of science, the authority of a thousand is not worth the
humble reasoning of a single individual." - Galileo Galilei

C-B

.