Why it took 379 pages to prove 1+1=2

https://www.youtube.com/watch?v=AwbZaTjXo-s

#Mathematics #Maths

Original: https://toots.dgplug.org/@jason/111605187773825075

#mathematics, #maths