A correction to my earlier posting, where I claimed: >We know that Goldbach's >conjecture is equivalent in T to a Con(T) if we are allowed to choose >(unnaturally) the Sigma-formula defining the axioms of T. This startling claim is as far as I know false. We only know that Con(T) can be chosen to imply Goldbach's conjecture. --- Torkel Franzen