the.com/principia mathematica
363 pages just to prove 1+1=2, then the authors added a joke about it.
means a three-volume attempt by whitehead and russell to derive all of mathematics from pure logic using strict formal symbols.
from published 1910-1913 by alfred north whitehead and bertrand russell, born from russell's discovery of a paradox in set theory that threatened to collapse mathematics' logical foundations, so they tried to rebuild it from scratch, brick by symbolic brick.
the 1+1 proofarrives on page 379, volume one
kurt godellater proved its goal was impossible
cambridge press lossesrussell and whitehead paid printing costs themselves
volume fourplanned on geometry, never finished
for instance
russell's paradox — the barber contradiction that forced the whole project
logicism movement — the philosophy of math principia tried to prove true