Frederic B. Fitch “Towards Proving the Consistency of Principia Mathematica,” in George Nakhnikian ed., Bertrand Russell's Philosophy, Duckworth, 1974 John Myhill “The Undefinability of the Set of Natural Numbers in the Ramified Principia,…