The definability of the set of natural numbers in the 1925 Principia Mathematica (Q5961452)

In the 1925 edition of Principia Mathematica, Russell presented a `proof' that mathematical induction could be rectified for finite cardinals without the axiom of reducibility. Later, Gödel found a flaw in Russell's argument, and Myhill arrived at a negative result. The author shows that, while Gödel and Myhill were correct, Russell's result was not wrong as his 1925 Principia uses a different grammar from the original edition. The author presents a new proof to replace Russell's flawed one.