«Cualquier teoría aritmética recursiva que sea consistente es incompleta.» (Kurt Gödel)