Main Page | See live article | Alphabetical index Metalanguage can refer to: An intermediate step in the compilation/assembly/interpreting process. See object language. The language in which mathematical proofs are discussed. See formal system. This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License.