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 https://e

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 https://en.wikipedia.org/wiki/Peano_axioms