PHP program that applies Peano's axioms to prove that 1+1=2