Describir: Sobre proposiciones formalmente indecidibles de los Principia Mathematica y sistemas afines.