metalanguage (Q14473): Difference between revisions