The theory [of meaning] will have done its work … replace 'p' [in 's means that p']) that, in some way yet … just s itself, if the object language is … step, let us try treating the position occupied … replaces 'p' with a proper sentential connective, and … is T if and only if p." … Any two predicates ['is T'] satisfying this condition have … putting what I am calling a theory of … defined or recursively characterized, it is clear that … L, for the condition we have placed on … formal semantical definition of truth.
Google-1
Google-2

Copyright clearance needed for quotation.