A theorem of infinity for Principia Mathematica

Date: