3 ms·

I think it's a little bit different. There are many natural ways of defining the expression a^b, which coincide when a and b are (say) positive integers, but th

I think it's a little bit different. There are many natural ways of defining the expression a^b, which coincide when a and b are (say) positive integers, but there is basically only one way of defining 2 (namely, 1 + 1).

mathgrad 13y ago
Look up Peano arithmetic to see how one proves 1+1 = 2 within the standard formal system.