[wz1000]

It takes just a couple of lines to "prove" that 1+1 = 2. Most of the proof is simply defining 1,2,+ and =.

https://en.wikipedia.org/wiki/Peano_axioms