Esa condición técnica se requiere ya que si el conjunto de axiomas no es recursivo entonces la teoría ni siquiera será decidible.