There is no requirement that ψ interprets the number passed to it as a Goedel number. For example, if you take ψ(x) as a formula that says x is even, the corresponding φ will be a sentence such  T proves that φ is true if and only if the Goedel number of φ is even. — Carl ( · talk)