>Or you mean "the Goedelian sentence", i.e. the statement
>constructed from the formal system saying that it will not be proved 
>in the system, in which case you are correct.

I do mean "the Goedelian sentence". Sorry!
Juergen

Reply via email to