Convention T. A formally correct definition of the symbol “Tr”, formulated in the metalanguage, will be called an adequate definition of truth if the deductive system of the metatheory proves the following: