Pero las verdades obtenidas del modelo tienen como "referente objeto" el lenguaje formal utilizado, (generalmente representando una formalización respecto a una teoría) y por tanto dichas verdades son un metalenguaje que habla sobre la teoría (consecuencias de ella) no de la realidad.