抱歉,它不是公理,而是定义。
虽然1+1=2不能证明,但是1+1=10也是可以的(二进制),显然,1+1不一定等于2,肯定不是公理。而1+1=2为什么是定义,您可以看一下,为什么1+1不等于3,只是因为在非二进制时需要,我们把1+1定义了,就是一种运算,是为了解释以后学的,或发现的数学定理定律,和为什么汉字叫汉字一样。
并不是,我们从ZF公理化系统的公理开始证,慢慢构造自然数和构造加法运算,可以证出1+1=2
没有。
数学上1+1=2,是生活常识,并不是公理。
数学上有哥德巴赫猜想:1+1,是一个猜想名称,
并不是1+1=2,