Email Record: Sobre proposiciones formalmente indecidibles de los "Principia Mathematica" y sistemas afines