Hacker News new | ask | show | jobs
by stan_rogers 2236 days ago
That can be trivially inferred from 110-643 (Vol. 2, p. 86) in Whitehead & Russell's Principia Mathematica.