哈哈哈，难得看到自己学过的内容，就来 bb 两句。
题主所问的问题是“为什么”，这其实就涉及到了一个数学，特别是算数的基底的问题了。比如你要是一个朴素的康德主义者，认为算数属于先天综合判断的话，那么你也会认为，1+1=2 来源于纯粹的直观不会影响它的普遍有效性，所以不需要证明。
这是一个从 https://daily.zhihu.com/story/9759931 下的原始话题分离的讨论话题
这是一个从 https://daily.zhihu.com/story/9759931 下的原始话题分离的讨论话题