A second correction to: “New sets of independent postulates for the algebra of logic, with special reference to Whitehead and Russell’s Principia mathematica” [Trans. Amer. Math. Soc. 35 (1933), no. 1, 274–304; 1501684]
Edward V. Huntington · Transactions of the American Mathematical Society · 1933
In my paper in the present volume these Transactions (vol.35,, the Example 5 on page 304 is erroneous and Postulate 5 on page 301 is redundant.That is, Postulates 1, 2, 3, 4, 6, 7 (without 5) form a set of independent postulates for the "informal" system of Principia Mathematica.