Esto ha de hacerse de manera indirecta, ya que dada una fórmula con número de Gödel , otra fórmula que «hable» de mediante el numeral en general tendrá un número de Gödel mayor que , y por tanto no puede ser la propia .