"una definición diofántica de un conjunto no computable."