Donde "s" es un enunciado del lenguaje objeto o su descripción canónica y "p" es una traducción de "s" al metalenguaje.