$\begingroup$

I was wondering is it possible to prove 1+0=1(or 0+1=1)? If yes! how does it look like! Does it even make sense to ask for proof here? My google searches didn't turn up anything.

Thanks.

$\endgroup$ 4

1 Answer

$\begingroup$

$x+0=0+x=x$ is an axiom in Peano arithmetic's implicit definition of the addition of non-negative integers. We set $x=1$ for the proof.

$\endgroup$ 2