请问能否存在“世界上最复杂的数学思维论证法”来证明“1+1=2”?

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