Alfred Tarski describes metalanguage as the richer superset of object language, where statements about the truth or falsehood of object language statements can be made. Statements about the truth of metalanguage statements must be constructed in progressively higher levels of metalanguage.

Lewis Carroll's "What the Tortoise Said to Achilles"

Log in or register to write something here or to contact authors.