According to this theory, the conditions for the truth of a sentence as well as the sentences themselves are part of a metalanguage