En realidad, como veremos más adelante, existen principios de la teoría de conjuntos que no pueden establecerse mediante el uso de LETAC solamente, por que hay que recurrir al metalenguaje.