A Theorem of Infinity for Principia Mathematica

Date: