Significados de demostración de indecidibilidad en español

Pero la mayoría de los problemas indecidibles conocidos tienen un sabor "auto-referencial" y, sin eso, una demostración de indecidibilidad parece inalcanzable.

Ellos son conscientes de que el problema puede ser indecidible, e incluso podrían buscar una demostración de indecidibilidad si pudieran ver dónde empezar.

Por su condición de parapetos, nos interesan mucho las demostraciones de indecidibilidad y de imposibilidad.