Fairy tales for adults (long)
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.
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.
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