Title: On formally undecidable propositions of Principia mathematica and related systems
Subjects: Gödel's theorem