听到这句话，台下不少学生心里疯狂吐槽：「徐神，您太看得起我们了。别说大多数人了，这教室里有一个算一个，谁吃饱了撑的去思考皮亚诺公理在保护什么啊！」

徐辰说道，「这个答案我后面再说。」

徐辰对着刚才的男生接着抛出了另一个问题：

「我再问你一个问题。如果在模 2 的意义下，1 + 1 等于几？「

男生瞬间卡壳了，张了张嘴，有些结巴地回答：「在模 2 剩余类环里……等于 0。「

「没错，等于0。「

徐辰点了点头，示意男生坐下。

然后徐辰双手撑在讲台上，「各位，这就是我要说的第一个真相：加法不是绝对的运算，它是依赖于底层代数结构的相对概念。「

他转身在黑板上写下：

【Z 中：1 + 1 = 2】

【F? 中：1 + 1 = 0】

「同样的符号'+'，在整数环 Z 里和在有限域 F? 里，代表的是两个完全不同的运算。它们遵循不同的规则，产生不同的结果。「

他转过身，用粉笔在黑板上重重地敲了一下。

「离开特定的结构框架，你们从小信奉的'1+1=2'就不再是真理。它只是某个特定世界的规则，仅此而已。「

他停顿了一下，让这个观念在学生们的脑海中沉淀。

「现在的问题是：既然加法在不同结构中表现不同，那么它的本质是什么？为什么我们要给这些完全不同的运算取同一个名字？「

……

「既然加法依赖于结构，那么我们把加法放到群论里，它意味着什么？「徐辰继续发问。

这次，一个坐在中排的女生举手回答：「在群论中，加法通常表示一个阿贝尔群的二元运算，它满足封闭性丶结合律，存在单位元和逆元，并且满足交换律。「