 whenever \(s\) is the name of a sentence \(S\) of \(L\) and \(\psi\) is the copy of \(S\) in the metalanguage. So the technical problem is to find a single formula \(\phi\) that allows us to deduce all these sentences from the axioms of \(M\); this formula \(\phi\) will serve to give the explicit definition of True.