It is a well known fact that the G ̈del sentences γ of a theory T are o all provably equivalent to the consistency statement of T , Con T . This result is independent from choice of proof predicate. It has been proved by ...