1加1等于2。自然数的算术性质是由皮亚诺公理定义的。严格证明了一加一等于二。补充说明，证明一加一等于二的意大利数学家皮亚诺，他提出了著名的皮亚诺公理。皮亚诺公理是意大利皮亚诺所构造的算术公理系统......
