Here’s a thousand page proof defining all the logical underpinning required to prove that 1 + 1 = 2.