一加一等于二是可以被证明的，这是数论中最基本的问题之一。换句话说，如果不能证明这一点，那么数学框架系统就会动摇！然而，几千年来，尽管几乎每个人都在使用它，但很少有人意识到1+1=2需要证明。首先意识到这一点的是一位意大利数学家：皮亚诺。一加一等于二不是公理，充其量只是一种推论。

自然数的算术性质是由皮亚诺公理定义的。严格证明了一加一等于二。

补充说明：证明一加一等于二的意大利数学家皮亚诺，他提出了著名的“皮亚诺公理”，共有五条，其中前四条跟我们的问题相关，如下：一，0是自然数；二，每一个确定的自然数a，都有一个确定的后继数a'，a'也是自然数（一个数的后继数就是紧接在这个数后面的数，例如，0的后继数是1，1的后继数是2，2的后继数是3等等）；三，对于每个自然数b、c，b=c当且仅当b的后继数=c的后继数；四，0不是任何自然数的后继数。这确实是很严谨的定义，而且规定了自然数序列。按照皮亚诺公理，自然数就如同一个多米诺骨牌序列了。至于题主问的“是有什么科学依据还是人为定的”？因为这是一个数学问题，数学属于广义的科学，但并不属于狭义的自然科学。广义的科学包括：自然科学、社会科学、形式科学，数学是形式科学的一种。如果题主说的科学依据是广义的科学，皮亚诺公理就是1+1=2的科学依据。如果题主说的科学是狭义的自然科学，那也可以说1+1=2没有自然科学的依据，就是人为定的。