The 362-Page Proof That 1+1=2

This is the story of how Alfred North Whitehead and Bertrand Russell proved 1+1=2 purely from basic logic.

0:00 362 Pages
0:44 What is a Proof?
2:55 Why?
4:14 1+1=2
6:48 Gödel