Para construir la sentencia autorreferente ha de idearse una manera para que una fórmula hable de las propiedades de su número de Gödel correspondiente.