err is there a proof that 1+1 = 2?

except semanticly I mean.