Hacker News new | ask | show | jobs
by jjgreen 2151 days ago
See Principia Mathematica, A. N. Whitehead and B. Russell, Proposition 110.643
1 comments
foobar_ 2151 days ago
1 + 1 = 10
link