X-Message-Number: 5873
From: 
Date: Mon, 4 Mar 1996 17:19:58 -0500
Subject: correction

I was careless in # 5852, if I said "There are not any such true statements
unprovable within the system."

What I meant to say was that the English-language alleged analogs of G do NOT
prove  there are true statements unprovable within the system. (That is not,
of course, the same as saying that true-but-unprovable statements cannot
exist.)

R.E.


Rate This Message: http://www.cryonet.org/cgi-bin/rate.cgi?msg=5873