Sobre las proposiciones formalmente indecibles de los principia mathematica y sistemas afines. I. - GÖDEL, Kurt (Cuadernos Teorema, 1980)