Llengua artificial teòricament concebible, però inexistent, formada per un repertori d’axiomes, postulats i regles, que pot servir per a descriure les llengües naturals, anomenades llengües objecte amb relació a la metallengua.
La llengua emprada per a definir la metallengua fóra la metallengua; aquesta sèrie podria ésser continuada indefinidament.