Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Probably not, but there is a proof in "Principia Mathematica" on page 379.

https://en.m.wikipedia.org/wiki/Principia_Mathematica



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: