Re: Godel's Incompleteness theorem

Neilist <Neilisted@xxxxxxxxx> writes:

On Jun 28, 12:57 pm, Aatu Koskensilta <aatu.koskensi...@xxxxxx> wrote:
Neilist <Neilis...@xxxxxxxxx> writes:
Complete means that any truthful statement can be derived from the
axioms of the system.

No, it doesn't.

What a lousy response! "No, it doesn't". Childish. I'll just say
"yes it does".

Give the correct definition then, genius (sarcasm)!

A theory T is complete if, for every formula P in the language of T,
either T |- P or T |- ~P.

--
"...you are around so that I have something else to do when I'm not
figuring something important out. I was especially intrigued on this
iteration by cursing, which I think I'll continue at some later date
as it's so amusing." --- James S. Harris
.