Brent Meeker wrote:

>There may be more than just a poetic analogy; although the unprovable
>but true formulae that Godel's theorem exhibits are not at all
>ineffable.  They are just like the other WFF's and can be added as

Not really. I will try to show (sorry for refering to some futur post) 
if we just add the unprovable formula to the axioms, then, depending
on the way we make that addition:
    -either the theory becomes inconsistent;
    -or the theory becomes "another theory" (for which consistency
         is still "ineffable"). This can be extended in the (constructive)


PS Thanks for quoting me.

Reply via email to