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 >axioms.
Not really. I will try to show (sorry for refering to some futur post) that 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) transfinite. Bruno PS Thanks for quoting me.