Even some trivial thing is hard to prove.
Alfred North Whitehead and Bertrand Russell took several hundered pages to prove 1+1 = 2 in Principia Mathematica1.
Fascinating.
Even some trivial thing is hard to prove.
Alfred North Whitehead and Bertrand Russell took several hundered pages to prove 1+1 = 2 in Principia Mathematica1.
Fascinating.