Fairy tales for adults (long)

Rob Park rbpark-NOSPAM at ualberta.ca
Thu Feb 13 15:47:55 PST 2003

Alas! Ian Molton spake thus:
> On Thu, 13 Feb 2003 23:23:00 +0000 (UTC)
> rbpark-NOSPAM at ualberta.ca (Rob Park) wrote:
> > Sure. Any system of axioms is incapable of proving itself to be
> > self-consistent.
> Why?

Did you read the link? That's why I posted it.

> It can be completely self consistent, even if completely WRONG as well.

Sure it can be self consistent, I guess, but it can't *prove* itself to
be self consistent. 

Rob Park
We are Microsoft.  What you are experiencing is not a problem; it is an undocumented feature.
Unsubscribe: send email to listar at linuxfromscratch.org
and put 'unsubscribe lfs-chat' in the subject header of the message

More information about the lfs-chat mailing list