** Hirzel, Martin, 2000, "On formally undecidable propositions of Principia Mathematica and related systems I.".
** Hirzel, Martin, 2000, "On formally undecidable propositions of Principia Mathematica and related systems I.".