Can anyone tell me what the weakest theory of arithmetic is within which one can formalize the argument for the equivalence of the G"odel-sentencefor S with Con(S), where S contains Robinson's arithmetic R and S is a subtheory of Th(N)? Neil Tennant