On Formally Undecidable Propositions Of Principia Mathematica and Related Systems

de Ga!Del, Kurt