---

Proof that 1+1=2 written in PHP

A statement is ‘proven’ when all untruth in the statement can only be the consequence of the untruth in the axioms to which it has been reduced. We will now demonstrate that any untruth in the statement ‘1+1=2’ can only be the result of untruth in Peano’s axioms. In other words, we will demonstrate that the statement ‘1+1=2’ does not introduce any original untruth.