The reason they look trivial is that the object language and the metalanguage are both English; here is an example where the object language is German and the metalanguage is English:

(3) 'Schnee ist weiß' is true if and only if snow is white.

As Tarski originally formulated it, this theory applies only to formal languages, cf. also semantics of first-order logic. He gave a number of reasons for not extending his theory to natural languages,

1.Previous
3.Next