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:
42.
Object language or material culture refers to how we communicate through material artifacts e . g ., architecture, office design and furniture, clothing, cars, cosmetics, and time.
43.
The predicate " " true " " does not appear in the object language, so no sentence of the object language can directly or indirectly assert truth or falsity of itself.
44.
The predicate " " true " " does not appear in the object language, so no sentence of the object language can directly or indirectly assert truth or falsity of itself.
45.
A metacompiler reduces the cost of producing domain-specific object languages to a point where it becomes economically feasible to include in the solution of a problem a domain-specific language design.
46.
In general, a 1, . . ., a n " satisfy " n-interpretation is an assignment of denotation to all of the non-logical terms of the object language.
47.
A "'metavariable "'( or, " metalinguistic variable " ) is a symbol or set of symbols in a metalanguage which stands for a symbol or set of symbols in some object language.
48.
While logic deals with " proofs in a formal system ", expressed in some formal language, metalogic deals with " proofs about a formal system " which are expressed in a metalanguage about some object language.
49.
In pure actor or object languages this problem can be solved by sending " future " factorial ( 100000 ) the message + [ 3 ], which asks the future to add 3 to itself and return the result.
50.
There are two ways the term " object language " can be used in computing : a language which is the object of formal specification, and a language which is the object ( goal ) of a compiler or interpreter.
