Russell,que había elaborado la teoría de los tipos a fin de resolver algunas paradojas lógicas, establece que "cada lenguaje tiene una estructura propia respecto a la cual nada puede enunciarse en el propio lenguaje; pero puede haber otro lenguaje que trate de la estructura del primer lenguaje, no habiendo límites en esta jerarquía de lenguajes".