题目

请问能否存在“世界上最复杂的数学思维论证法”来证明“1+1=2”?
所谓“公理”,既然有“理”,那得透“由”,何况数学亦为讲究“论证推导”.
正如“复杂的事物能够简单化,反之“简单的事物亦会复杂化”.
1+1=2,世人都能想到“加合”这样的“简单论证证明法”,
但是如果让“人”用“复杂繁复”且“时间久远”的“思考推导方式”来证明“1+1=2”,又该“如何推导证明”呢?

提问时间：2021-03-04

答案

我想说……你将公理或者应该说是定理和定义混淆了,
”1+1=2“是定义,是人们从一开始就规定好了的,不需要证明,
而定理是由定义进行进一步的推算演化得到的命题