Así pues, las definiciones anteriores serían, viéndolo de forma estricta, metadefiniciones, donde símbolos como formula_22 figuran solo dentro de nuestro metalenguaje, y son útiles por que mediante ellos puede hablarse de LETAC.