On Formally Undecidable Propositions Of Principia Mathematica and Related Systems

by Ga!Del, Kurt