In un testo universitario sui numeri reali ho trovato il riferimento ad un "teorema di indecidibilità" di Goedel. Ecco la frase testuale: <<Il procedimento diagonale di Cantor, ....., è, in contesti diversi, la chiave per alcuni profondi teoremi di logica, come il Teorema di Indecidibilità di Turing e lo stesso Teorema di Indecidibilità di Goedel>>.
Io conosco i teoremi di incompletezza di Goedel, ma non il suo teorema di indecidibilità. D'altro canto, sospetto che l'espressione <<Teorema di Indecidibilità>> del testo, riferita a Goedel, sia un refuso dovuto al fatto che immediatamente prima si nomina il teorema di indecidibilità di Turing.
Esiste davvero il teorema di indecidibilità di Goedel?