Esto es posible en toda teoría aritmética recursiva, ya que verifican unas ciertas "condiciones de demostrabilidad".