Site uses cookies to provide basic functionality.

OK
From this proposition it will follow, when arithmetical addition has been defined, that 1+12.
Principia Mathematica