Metalenguaje es toda proposición que habla de otro lenguaje. Las proposiciones (expresiones lingüísticas significativas que pueden ser verdaderas o falsas) pueden ser de dos clases: las que hablan de la realidad (constituyen el lenguaje) y las que hablan del lenguaje (constituyen los metalenguajes). Por tanto existen distintos niveles de verdad o falsedad: el nivel 0 del lenguaje que habla de lo real, el nivel 1 que habla del nivel 0, el nivel 2 que habla del nivel 1 y así hasta el infinito. Estas investigaciones de filósofos como Bertrand Russell y Wittgenstein han sido muy útiles en la lógica y la informática y han solucionado las aparentes contradicciones del lenguaje, como la del mentiroso clásico: ¿Epiménides, un cretense, decía: todos los cretenses mienten siempre¿. Epiménides ¿miente o dice la verdad?.
